Wed, 27 Aug 2008 12:00:28 +0200 |
get rid of tabs;
|
file | diff | annotate |
Thu, 03 Apr 2008 21:23:39 +0200 |
further cleanup of XML signature;
|
file | diff | annotate |
Tue, 17 Jul 2007 16:14:42 +0200 |
avoid redundant variables in patterns (which made Alice vomit);
|
file | diff | annotate |
Wed, 11 Jul 2007 11:22:02 +0200 |
Track schema changes: remove cleardisplay, proofstate messages. Simplify attributes on cleardisplay, normalresponse.
|
file | diff | annotate |
Fri, 06 Jul 2007 17:52:52 +0200 |
Produce good PGML 2.0
|
file | diff | annotate |
Sat, 17 Feb 2007 17:22:53 +0100 |
<idvalue>: add name attribute to allow unsolicited updates.
|
file | diff | annotate |
Mon, 22 Jan 2007 15:37:08 +0100 |
Add askrefs, setrefs, error_with_pos
|
file | diff | annotate |
Tue, 09 Jan 2007 12:09:21 +0100 |
Add informfileoutdated and completed flag. This makes the PGIP messages match the Broker states.
|
file | diff | annotate |
Fri, 29 Dec 2006 18:25:46 +0100 |
minor tuning;
|
file | diff | annotate |
Fri, 29 Dec 2006 16:46:39 +0100 |
Typo in last commit
|
file | diff | annotate |
Wed, 27 Dec 2006 16:18:07 +0100 |
made SML/NJ happy
|
file | diff | annotate |
Sun, 17 Dec 2006 22:43:50 +0100 |
Add abstraction for objtypes and documents.
|
file | diff | annotate |
Fri, 15 Dec 2006 00:08:06 +0100 |
avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert;
|
file | diff | annotate |
Tue, 05 Dec 2006 22:04:24 +0100 |
Document structure in pgip_markup.ML. Minor fixes.
|
file | diff | annotate |
Tue, 05 Dec 2006 14:05:23 +0100 |
Fix typo. Some cleanup for XML attributes
|
file | diff | annotate |
Tue, 05 Dec 2006 13:56:43 +0100 |
Support PGIP communication for preferences in Emacs mode.
|
file | diff | annotate |
Mon, 04 Dec 2006 20:40:11 +0100 |
Revamped Proof General interface.
|
file | diff | annotate |