Wed, 27 Aug 2008 12:00:28 +0200 |
wenzelm |
get rid of tabs;
|
file |
diff |
annotate
|
Thu, 03 Apr 2008 21:23:39 +0200 |
wenzelm |
further cleanup of XML signature;
|
file |
diff |
annotate
|
Wed, 20 Jun 2007 15:10:34 +0200 |
aspinall |
Remove dedicated flag setting elements in favour of setproverflag.
|
file |
diff |
annotate
|
Sat, 03 Mar 2007 12:42:39 +0100 |
aspinall |
Add setproverflag, to replace other flag controls
|
file |
diff |
annotate
|
Mon, 22 Jan 2007 15:37:08 +0100 |
aspinall |
Add askrefs, setrefs, error_with_pos
|
file |
diff |
annotate
|
Thu, 18 Jan 2007 11:16:49 +0100 |
aspinall |
Fix pgmlsymbolsoff
|
file |
diff |
annotate
|
Fri, 29 Dec 2006 18:25:46 +0100 |
wenzelm |
minor tuning;
|
file |
diff |
annotate
|
Sun, 17 Dec 2006 22:43:50 +0100 |
aspinall |
Add abstraction for objtypes and documents.
|
file |
diff |
annotate
|
Tue, 05 Dec 2006 22:04:24 +0100 |
aspinall |
Document structure in pgip_markup.ML. Minor fixes.
|
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 20:40:11 +0100 |
aspinall |
Revamped Proof General interface.
|
file |
diff |
annotate
|