Tue, 14 May 2013 21:40:25 +0200 |
wenzelm |
more elementary pgiptype;
|
file |
diff |
annotate
|
Tue, 14 May 2013 21:02:49 +0200 |
wenzelm |
prefer Markup.parse/print operations -- slight change of exception behaviour;
|
file |
diff |
annotate
|
Tue, 14 May 2013 20:46:09 +0200 |
wenzelm |
more uniform Markup.print_real;
|
file |
diff |
annotate
|
Tue, 14 May 2013 16:45:09 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 13 May 2013 22:49:00 +0200 |
wenzelm |
removed obsolete PGIP material;
|
file |
diff |
annotate
|
Mon, 13 May 2013 22:26:59 +0200 |
wenzelm |
more direct output of remaining PGIP rudiments;
|
file |
diff |
annotate
|
Sun, 20 Mar 2011 17:40:45 +0100 |
wenzelm |
replaced File.check by specific File.check_file, File.check_dir;
|
file |
diff |
annotate
|
Tue, 08 Feb 2011 21:06:03 +0100 |
wenzelm |
clarified comment -- ancienct PG 3.7.x is still in use;
|
file |
diff |
annotate
|
Wed, 12 Jan 2011 14:07:29 +0100 |
wenzelm |
smart_string_of_real: print integer values without fractional part;
|
file |
diff |
annotate
|
Sat, 30 Oct 2010 21:08:20 +0200 |
wenzelm |
support for real valued preferences;
|
file |
diff |
annotate
|
Sat, 07 Aug 2010 21:03:06 +0200 |
wenzelm |
simplified type XML.tree: embed Markup.T directly, avoid slightly odd triple;
|
file |
diff |
annotate
|
Wed, 21 Jan 2009 23:21:44 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
Mon, 29 Sep 2008 11:46:47 +0200 |
wenzelm |
handle _ should be avoided (spurious Interrupt will spoil the game);
|
file |
diff |
annotate
|
Wed, 27 Aug 2008 12:00:28 +0200 |
wenzelm |
get rid of tabs;
|
file |
diff |
annotate
|
Wed, 27 Aug 2008 11:48:54 +0200 |
wenzelm |
type Properties.T;
|
file |
diff |
annotate
|
Thu, 02 Aug 2007 21:45:07 +0200 |
wenzelm |
added int type constraints to accomodate hacked SML/NJ;
|
file |
diff |
annotate
|
Wed, 11 Jul 2007 11:25:24 +0200 |
aspinall |
Track schema changes: merge messagecategory with area attributes
|
file |
diff |
annotate
|
Sat, 03 Mar 2007 12:38:25 +0100 |
aspinall |
Comment
|
file |
diff |
annotate
|
Mon, 22 Jan 2007 16:51:29 +0100 |
aspinall |
Sync location with pgip.rnc, fixing attribute names
|
file |
diff |
annotate
|
Tue, 09 Jan 2007 12:09:49 +0100 |
aspinall |
Add info fatality for error messages.
|
file |
diff |
annotate
|
Thu, 04 Jan 2007 21:36:52 +0100 |
wenzelm |
approximate Syntax.read_int/nat by Int.fromString -- avoids dependency on Syntax module;
|
file |
diff |
annotate
|
Thu, 04 Jan 2007 19:53:00 +0100 |
aspinall |
Be more chatty in PGIP file operations.proof_general_pgip.ML
|
file |
diff |
annotate
|
Thu, 04 Jan 2007 18:09:30 +0100 |
aspinall |
Add warning fatality
|
file |
diff |
annotate
|
Sun, 31 Dec 2006 15:34:21 +0100 |
aspinall |
Quote arguments in PGIP exceptions. Tune comment.
|
file |
diff |
annotate
|
Fri, 29 Dec 2006 18:46:04 +0100 |
wenzelm |
signed_string_of_int;
|
file |
diff |
annotate
|
Fri, 29 Dec 2006 18:25:46 +0100 |
wenzelm |
minor tuning;
|
file |
diff |
annotate
|
Wed, 27 Dec 2006 16:18:07 +0100 |
haftmann |
made SML/NJ happy
|
file |
diff |
annotate
|
Sun, 17 Dec 2006 22:43:50 +0100 |
aspinall |
Add abstraction for objtypes and documents.
|
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
|
Mon, 04 Dec 2006 20:40:11 +0100 |
aspinall |
Revamped Proof General interface.
|
file |
diff |
annotate
|