wenzelm [Thu, 11 Mar 1999 12:32:40 +0100] rev 6346
moved Thy/session.ML to Isar/session.ML;
wenzelm [Wed, 10 Mar 1999 17:24:26 +0100] rev 6345
tuned;
wenzelm [Wed, 10 Mar 1999 17:06:35 +0100] rev 6344
-x option;
wenzelm [Wed, 10 Mar 1999 16:31:33 +0100] rev 6343
updated;
wenzelm [Wed, 10 Mar 1999 13:44:55 +0100] rev 6342
report session path;
removed more junk;
wenzelm [Wed, 10 Mar 1999 13:17:46 +0100] rev 6341
report path instead of actual session;
wenzelm [Wed, 10 Mar 1999 10:55:12 +0100] rev 6340
HTML output;
wenzelm [Wed, 10 Mar 1999 10:53:53 +0100] rev 6339
maintain current/parent index;
removed junk;
wenzelm [Wed, 10 Mar 1999 10:53:02 +0100] rev 6338
output: some symbol translations;
removed insert_here, conclude_theory;
added begin/end_index, theory_entry, session_entries;
wenzelm [Wed, 10 Mar 1999 10:47:13 +0100] rev 6337
parent_session;
paulson [Wed, 10 Mar 1999 10:43:59 +0100] rev 6336
allow meta_outer to do nothing
paulson [Wed, 10 Mar 1999 10:42:57 +0100] rev 6335
updating both Yahalom protocols to the Gets model
paulson [Wed, 10 Mar 1999 10:42:40 +0100] rev 6334
updated not_bad_tac for the Gets model
paulson [Wed, 10 Mar 1999 10:42:11 +0100] rev 6333
deleted obsolete comments
wenzelm [Tue, 09 Mar 1999 12:20:22 +0100] rev 6332
Present.theory_source;
wenzelm [Tue, 09 Mar 1999 12:20:04 +0100] rev 6331
begin/end_theory: presentation;
wenzelm [Tue, 09 Mar 1999 12:19:25 +0100] rev 6330
checkpoint -- basic functionality only;
wenzelm [Tue, 09 Mar 1999 12:18:46 +0100] rev 6329
added use_path;
begin_theory: include files;
wenzelm [Tue, 09 Mar 1999 12:18:02 +0100] rev 6328
IsarThy.begin/end_theory;
wenzelm [Tue, 09 Mar 1999 12:17:40 +0100] rev 6327
Present.theorem;
wenzelm [Tue, 09 Mar 1999 12:13:58 +0100] rev 6326
fixed add_path reset;
init / finish presentation;
wenzelm [Tue, 09 Mar 1999 12:13:11 +0100] rev 6325
still fake, passes BrowserInfo;
wenzelm [Tue, 09 Mar 1999 12:12:45 +0100] rev 6324
HTML markup elements.
wenzelm [Tue, 09 Mar 1999 12:12:02 +0100] rev 6323
added html.ML, browser_info.ML;
wenzelm [Tue, 09 Mar 1999 12:11:29 +0100] rev 6322
token translation: real;
wenzelm [Tue, 09 Mar 1999 12:11:00 +0100] rev 6321
added strlen_real, setmp_margin;
wenzelm [Tue, 09 Mar 1999 12:10:13 +0100] rev 6320
tuned using nth_elem_string, exists_string;
wenzelm [Tue, 09 Mar 1999 12:09:51 +0100] rev 6319
added make, dir;
wenzelm [Tue, 09 Mar 1999 12:09:22 +0100] rev 6318
added mkdir;
wenzelm [Tue, 09 Mar 1999 12:09:05 +0100] rev 6317
added Buffer;
wenzelm [Tue, 09 Mar 1999 12:08:50 +0100] rev 6316
simple string buffers;
wenzelm [Tue, 09 Mar 1999 12:08:08 +0100] rev 6315
*** empty log message ***