| 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
|
| Thu, 25 Oct 2007 16:57:57 +0200 |
wenzelm |
made command 'undo' silent ('ProofGeneral.undo' becomes a historical relic);
|
file |
diff |
annotate
|
| Sat, 06 Oct 2007 22:31:57 +0200 |
wenzelm |
removed obsolete write_keywords;
|
file |
diff |
annotate
|
| Sat, 06 Oct 2007 21:21:45 +0200 |
wenzelm |
export init_outer_syntax;
|
file |
diff |
annotate
|
| Sat, 06 Oct 2007 17:53:45 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 06 Oct 2007 16:50:04 +0200 |
wenzelm |
simplified interfaces for outer syntax;
|
file |
diff |
annotate
|
| Tue, 25 Sep 2007 17:06:14 +0200 |
wenzelm |
proper Sign operations instead of Theory aliases;
|
file |
diff |
annotate
|
| Fri, 07 Sep 2007 22:13:45 +0200 |
wenzelm |
added hilite markup;
|
file |
diff |
annotate
|
| Sun, 19 Aug 2007 12:43:05 +0200 |
aspinall |
Use 376/377 specials for sendback markup
|
file |
diff |
annotate
|
| Wed, 15 Aug 2007 19:24:23 +0200 |
wenzelm |
added sendback;
|
file |
diff |
annotate
|
| Mon, 13 Aug 2007 18:10:22 +0200 |
wenzelm |
Lexicon.read_indexname/nat/variable;
|
file |
diff |
annotate
|
| Tue, 31 Jul 2007 00:56:32 +0200 |
wenzelm |
ThyInfo.register_thy;
|
file |
diff |
annotate
|
| Sun, 22 Jul 2007 21:20:58 +0200 |
wenzelm |
inform_file_processed: tuned msg, no state;
|
file |
diff |
annotate
|
| Tue, 10 Jul 2007 16:45:05 +0200 |
wenzelm |
removed no_state markup -- produce empty state;
|
file |
diff |
annotate
|
| Mon, 09 Jul 2007 11:44:23 +0200 |
wenzelm |
simplified writeln_fn;
|
file |
diff |
annotate
|
| Sat, 07 Jul 2007 18:39:21 +0200 |
wenzelm |
toplevel prompt/print_state: proper markup, removed hooks;
|
file |
diff |
annotate
|
| Sat, 07 Jul 2007 00:15:02 +0200 |
wenzelm |
simplified pretty token metric: type int;
|
file |
diff |
annotate
|
| Sun, 15 Apr 2007 14:31:59 +0200 |
wenzelm |
removed unused Output.panic hook -- internal to PG wrapper;
|
file |
diff |
annotate
|
| Sat, 14 Apr 2007 17:36:05 +0200 |
wenzelm |
Term.string_of_vname;
|
file |
diff |
annotate
|
| Wed, 04 Apr 2007 00:11:23 +0200 |
wenzelm |
removed unused info channel;
|
file |
diff |
annotate
|
| Thu, 01 Feb 2007 20:40:34 +0100 |
wenzelm |
proper use of PureThy.has_name_hint instead of hard-wired string'';
|
file |
diff |
annotate
|
| Wed, 31 Jan 2007 20:07:40 +0100 |
aspinall |
Fix tell_thm_deps to match changse in PureThy.
|
file |
diff |
annotate
|
| Mon, 22 Jan 2007 15:34:15 +0100 |
aspinall |
Comment
|
file |
diff |
annotate
|
| Thu, 04 Jan 2007 19:27:08 +0100 |
wenzelm |
broken error handling for command syntax -- reverted to revision 1.9;
|
file |
diff |
annotate
|
| Thu, 04 Jan 2007 11:56:53 +0100 |
haftmann |
eliminated Option.app
|
file |
diff |
annotate
|
| Wed, 03 Jan 2007 22:59:30 +0100 |
aspinall |
Fix error reporting in Emacs to also match Isar command failure exactly.
|
file |
diff |
annotate
|
| Sat, 30 Dec 2006 16:20:32 +0100 |
wenzelm |
removed dead code;
|
file |
diff |
annotate
|
| Sat, 30 Dec 2006 16:08:09 +0100 |
wenzelm |
removed conditional combinator;
|
file |
diff |
annotate
|
| Sat, 30 Dec 2006 12:33:29 +0100 |
wenzelm |
inform_file_processed: Toplevel.init_empty;
|
file |
diff |
annotate
|
| Fri, 29 Dec 2006 19:50:50 +0100 |
wenzelm |
removed obsolete init_pgip;
|
file |
diff |
annotate
|
| Fri, 29 Dec 2006 18:46:06 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 29 Dec 2006 18:25:46 +0100 |
wenzelm |
minor tuning;
|
file |
diff |
annotate
|
| Fri, 15 Dec 2006 00:08:06 +0100 |
wenzelm |
avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert;
|
file |
diff |
annotate
|
| Tue, 05 Dec 2006 13:56:43 +0100 |
aspinall |
Support PGIP communication for preferences in Emacs mode.
|
file |
diff |
annotate
|
| Mon, 04 Dec 2006 22:12:08 +0100 |
aspinall |
Add separate PG Emacs configuration
|
file |
diff |
annotate
|