Mon, 11 Aug 2008 18:37:49 +0200 |
wenzelm |
renamed Markup.class to Markup.tclass, to avoid potential conflicts with spacial meaning in markup languages (e.g. HTML);
|
file |
diff |
annotate
|
Tue, 15 Jul 2008 15:46:43 +0200 |
wenzelm |
refined Output.status_fn: priority (only visible for non-empty output, e.g. via test_markup print mode);
|
file |
diff |
annotate
|
Tue, 15 Jul 2008 14:15:43 +0200 |
wenzelm |
added status channel;
|
file |
diff |
annotate
|
Tue, 15 Jul 2008 11:50:04 +0200 |
wenzelm |
simplified commit_exit;
|
file |
diff |
annotate
|
Mon, 14 Jul 2008 22:55:48 +0200 |
wenzelm |
print_mode "test_markup": do not change prompt, otherwise Proof General will not work;
|
file |
diff |
annotate
|
Mon, 14 Jul 2008 22:26:53 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
Mon, 14 Jul 2008 21:39:08 +0200 |
wenzelm |
inform_file_processed: Isar.init_point last!
|
file |
diff |
annotate
|
Mon, 14 Jul 2008 19:57:13 +0200 |
wenzelm |
inform_file_processed: try harder not to fail, ensure
|
file |
diff |
annotate
|
Mon, 14 Jul 2008 17:51:44 +0200 |
wenzelm |
proper_inform_file_processed: new implementation based on global Isar state (cf. isar.ML);
|
file |
diff |
annotate
|
Thu, 10 Jul 2008 21:12:34 +0200 |
wenzelm |
restart: Isar.init_point;
|
file |
diff |
annotate
|
Thu, 10 Jul 2008 21:03:47 +0200 |
wenzelm |
proper_inform_file_processed: Isar.init_point starts fresh command sequence;
|
file |
diff |
annotate
|
Thu, 10 Jul 2008 20:54:00 +0200 |
wenzelm |
activated new versions of undo, kill_proof;
|
file |
diff |
annotate
|
Thu, 10 Jul 2008 20:03:30 +0200 |
wenzelm |
added ProofGeneral.isar_kill_proof;
|
file |
diff |
annotate
|
Thu, 17 Apr 2008 16:30:52 +0200 |
wenzelm |
replaced token translations by common markup;
|
file |
diff |
annotate
|
Mon, 14 Apr 2008 14:28:47 +0200 |
wenzelm |
Isar.toplevel_loop: separate init/welcome flag;
|
file |
diff |
annotate
|
Thu, 10 Apr 2008 14:53:29 +0200 |
wenzelm |
ThyInfo.get_names;
|
file |
diff |
annotate
|
Thu, 10 Apr 2008 13:44:43 +0200 |
wenzelm |
replaced Isar loop variants by generic toplevel_loop;
|
file |
diff |
annotate
|
Thu, 03 Apr 2008 21:23:41 +0200 |
wenzelm |
moved test_markup here;
|
file |
diff |
annotate
|
Thu, 03 Apr 2008 18:42:40 +0200 |
wenzelm |
XML.output_markup;
|
file |
diff |
annotate
|
Thu, 03 Apr 2008 16:03:56 +0200 |
wenzelm |
Symbol.SOH;
|
file |
diff |
annotate
|
Fri, 28 Mar 2008 20:02:04 +0100 |
wenzelm |
Context.>> : operate on Context.generic;
|
file |
diff |
annotate
|
Thu, 27 Mar 2008 15:32:15 +0100 |
wenzelm |
eliminated delayed theory setup
|
file |
diff |
annotate
|
Wed, 05 Mar 2008 22:58:12 +0100 |
wenzelm |
IsabelleProcess.output_markup;
|
file |
diff |
annotate
|
Sun, 06 Jan 2008 15:57:56 +0100 |
wenzelm |
replaced prompt markup by prompt channel setup;
|
file |
diff |
annotate
|
Sun, 30 Dec 2007 23:07:31 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 14 Dec 2007 21:15:36 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 06 Dec 2007 00:21:32 +0100 |
wenzelm |
moved basic test_markup to isabelle_process.ML;
|
file |
diff |
annotate
|
Mon, 19 Nov 2007 11:09:09 +0100 |
wenzelm |
inform_file_processed: made even more robust against bad file specs;
|
file |
diff |
annotate
|
Sun, 18 Nov 2007 16:10:12 +0100 |
wenzelm |
removed unused inform_file_processed;
|
file |
diff |
annotate
|
Thu, 15 Nov 2007 11:49:04 +0100 |
wenzelm |
thy_name: be very liberal about file name format (workaround problem with XEmacs on cygwin);
|
file |
diff |
annotate
|