| 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
|