Sat, 14 Jan 2006 17:14:06 +0100 |
wenzelm |
sane ERROR handling;
|
file |
diff |
annotate
|
Thu, 05 Jan 2006 22:29:58 +0100 |
wenzelm |
Toplevel.proof_position_of;
|
file |
diff |
annotate
|
Wed, 04 Jan 2006 00:52:42 +0100 |
wenzelm |
adapted Toplevel.Proof;
|
file |
diff |
annotate
|
Wed, 16 Nov 2005 14:05:41 +0100 |
wenzelm |
pgmlsymbolson: append Symbol.xsymbolsN at end!
|
file |
diff |
annotate
|
Wed, 09 Nov 2005 16:26:45 +0100 |
wenzelm |
P.locale_element;
|
file |
diff |
annotate
|
Fri, 21 Oct 2005 18:14:38 +0200 |
wenzelm |
OldGoals;
|
file |
diff |
annotate
|
Fri, 30 Sep 2005 17:54:04 +0200 |
aspinall |
Move welcomemsg and helpdoc to pgip_isar.xml
|
file |
diff |
annotate
|
Fri, 30 Sep 2005 13:47:36 +0200 |
aspinall |
Initialise pgip id also for Emacs mode. Allow dynamic config file location for PGIP.
|
file |
diff |
annotate
|
Tue, 20 Sep 2005 17:01:43 +0200 |
webertj |
undone the previous change: show_hyps not supported anymore
|
file |
diff |
annotate
|
Tue, 20 Sep 2005 15:12:40 +0200 |
webertj |
new menu item show-sort-hypotheses to toggle show_hyps
|
file |
diff |
annotate
|
Sat, 17 Sep 2005 18:11:29 +0200 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
Thu, 15 Sep 2005 17:17:05 +0200 |
wenzelm |
TableFun/Symtab: curried lookup and update;
|
file |
diff |
annotate
|
Thu, 15 Sep 2005 16:15:22 +0200 |
aspinall |
Revert previous attribute name change, problem can be avoided in JAXB.
|
file |
diff |
annotate
|
Thu, 15 Sep 2005 10:33:35 +0200 |
aspinall |
Change PGIP attribute name class->messageclass to avoid Java keyword clash.
|
file |
diff |
annotate
|
Thu, 08 Sep 2005 16:09:23 +0200 |
haftmann |
introduces some modern-style AList operations
|
file |
diff |
annotate
|