| Thu, 24 May 2012 15:33:45 +0200 |
wenzelm |
simplified Poly/ML setup -- 5.3.0 is now the common base-line;
|
file |
diff |
annotate
|
| Thu, 24 May 2012 15:01:17 +0200 |
wenzelm |
discontinued support for Poly/ML 5.2.1;
|
file |
diff |
annotate
|
| Wed, 12 Oct 2011 16:21:07 +0200 |
wenzelm |
discontinued obsolete alias structure ProofContext;
|
file |
diff |
annotate
|
| Sat, 23 Jul 2011 17:22:28 +0200 |
wenzelm |
explicit structure ML_System;
|
file |
diff |
annotate
|
| Wed, 13 Jul 2011 10:57:09 +0200 |
wenzelm |
XML.pretty with depth limit;
|
file |
diff |
annotate
|
| Tue, 12 Jul 2011 20:11:11 +0200 |
wenzelm |
ML pp for XML.tree;
|
file |
diff |
annotate
|
| Wed, 29 Jun 2011 16:31:50 +0200 |
wenzelm |
print Path.T with some markup;
|
file |
diff |
annotate
|
| Sun, 17 Apr 2011 21:42:47 +0200 |
wenzelm |
added Binding.print convenience, which includes quote already;
|
file |
diff |
annotate
|
| Sat, 16 Apr 2011 15:47:52 +0200 |
wenzelm |
modernized structure Proof_Context;
|
file |
diff |
annotate
|
| Wed, 06 Apr 2011 18:36:28 +0200 |
wenzelm |
made SML/NJ happy (cf. 578a51fae383);
|
file |
diff |
annotate
|
| Tue, 05 Apr 2011 14:25:18 +0200 |
wenzelm |
discontinued special treatment of structure Ast: no pervasive content, no inclusion in structure Syntax;
|
file |
diff |
annotate
|
| Sun, 13 Mar 2011 20:56:00 +0100 |
wenzelm |
files are identified via SHA1 digests -- discontinued ISABELLE_FILE_IDENT;
|
file |
diff |
annotate
|
| Sun, 13 Mar 2011 20:21:24 +0100 |
wenzelm |
explicit type SHA1.digest;
|
file |
diff |
annotate
|
| Sun, 13 Mar 2011 16:01:00 +0100 |
wenzelm |
Path.print is the official way to show file-system paths to users -- note that Path.implode often indicates violation of the abstract datatype;
|
file |
diff |
annotate
|
| Tue, 08 Feb 2011 17:36:21 +0100 |
wenzelm |
discontinued support for Poly/ML 5.2, which was the last version without proper multithreading and TimeLimit implementation;
|
file |
diff |
annotate
|
| Wed, 29 Dec 2010 20:41:33 +0100 |
wenzelm |
tuned ML toplevel pp for type string: observe depth limit;
|
file |
diff |
annotate
|
| Sat, 27 Nov 2010 14:19:04 +0100 |
wenzelm |
moved file identification to thy_load.ML (where it is actually used);
|
file |
diff |
annotate
|
| Tue, 17 Aug 2010 18:41:55 +0200 |
wenzelm |
discontinued support for Poly/ML 5.0 and 5.1 versions;
|
file |
diff |
annotate
|
| Wed, 11 Aug 2010 13:39:36 +0200 |
wenzelm |
more precise and more maintainable dependencies;
|
file |
diff |
annotate
|
| Sun, 25 Jul 2010 21:42:39 +0200 |
wenzelm |
simplified/clarified register_thy: more precise treatment of new dependencies, remove descendants;
|
file |
diff |
annotate
|
| Sat, 24 Jul 2010 12:14:53 +0200 |
wenzelm |
moved management of auxiliary theory source files to Thy_Load -- as theory data instead of accidental loader state;
|
file |
diff |
annotate
|
| Wed, 21 Jul 2010 16:14:16 +0200 |
wenzelm |
eliminated old time_use/time_use_thy variants -- timing is implicitly controlled via Output.timing;
|
file |
diff |
annotate
|
| Tue, 20 Jul 2010 23:09:49 +0200 |
wenzelm |
discontinued pervasive val theory = Thy_Info.get_theory -- prefer antiquotations in most situations;
|
file |
diff |
annotate
|
| Tue, 20 Jul 2010 21:49:39 +0200 |
wenzelm |
SML/NJ: refrain from modifying toplevel pp for type string -- unclear if it could work here;
|
file |
diff |
annotate
|
| Tue, 20 Jul 2010 20:56:28 +0200 |
wenzelm |
toplevel pp for Proof.state and Toplevel.state;
|
file |
diff |
annotate
|
| Thu, 24 Jun 2010 23:20:47 +0200 |
wenzelm |
ML pretty printing of type string according to (quasi-abstract) YXML markup and symbols (including UTF8);
|
file |
diff |
annotate
|
| Thu, 24 Jun 2010 14:31:46 +0200 |
wenzelm |
treat Pretty.T as strictly abstract type;
|
file |
diff |
annotate
|
| Mon, 31 May 2010 21:06:57 +0200 |
wenzelm |
modernized some structure names, keeping a few legacy aliases;
|
file |
diff |
annotate
|
| Sat, 15 May 2010 23:40:00 +0200 |
wenzelm |
renamed structure OuterSyntax to Outer_Syntax, keeping the old name as alias for some time;
|
file |
diff |
annotate
|
| Sat, 28 Nov 2009 22:28:15 +0100 |
wenzelm |
workaround for strange compiler crash of Poly/ML 5.0 and 5.1 at this point http://isabelle.in.tum.de/repos/isabelle/file/a2fc533175ff/src/HOL/Tools/Nitpick/nitpick_nut.ML#l997
|
file |
diff |
annotate
|