| 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
|
| Mon, 09 Nov 2009 21:30:54 +0100 |
wenzelm |
setup for official Poly/ML 5.3.0, which is now the default;
|
file |
diff |
annotate
|
| Mon, 02 Nov 2009 20:57:48 +0100 |
wenzelm |
modernized structure Proof_Display;
|
file |
diff |
annotate
|
| Tue, 20 Oct 2009 21:37:06 +0200 |
wenzelm |
fixed SML/NJ toplevel pp;
|
file |
diff |
annotate
|
| Mon, 15 Jun 2009 21:17:34 +0200 |
wenzelm |
override toplevel "use" functions last;
|
file |
diff |
annotate
|
| Thu, 04 Jun 2009 19:15:54 +0200 |
wenzelm |
less experimental polyml-5.3;
|
file |
diff |
annotate
|
| Sat, 21 Mar 2009 19:58:45 +0100 |
wenzelm |
replaced install_pp/make_pp by more general toplevel_pp based on use_text;
|
file |
diff |
annotate
|
| Sat, 21 Mar 2009 15:08:00 +0100 |
wenzelm |
Pretty.position;
|
file |
diff |
annotate
|
| Fri, 20 Mar 2009 20:05:51 +0100 |
wenzelm |
uniform ml_prompts for RAW and Pure;
|
file |
diff |
annotate
|
| Tue, 10 Mar 2009 16:42:58 +0100 |
wenzelm |
quote binding for ML toplevel pp;
|
file |
diff |
annotate
|
| Tue, 03 Mar 2009 15:09:08 +0100 |
wenzelm |
Binding.str_of;
|
file |
diff |
annotate
|
| Fri, 23 Jan 2009 10:21:27 +0100 |
haftmann |
making SMLNJ happy
|
file |
diff |
annotate
|
| Mon, 29 Dec 2008 17:56:37 +0100 |
haftmann |
pretty printer for bindings
|
file |
diff |
annotate
|
| Tue, 16 Dec 2008 16:25:20 +0100 |
wenzelm |
renamed structure TaskQueue to Task_Queue;
|
file |
diff |
annotate
|
| Thu, 09 Oct 2008 21:34:05 +0200 |
wenzelm |
extra Poly/ML toplevel pretty printing in ML-Systems/install_pp_polyml.ML;
|
file |
diff |
annotate
|
| Mon, 29 Sep 2008 21:26:44 +0200 |
wenzelm |
install_pp Future.T (polyml only);
|
file |
diff |
annotate
|
| Tue, 09 Sep 2008 16:59:48 +0200 |
wenzelm |
human-readable printing of TaskQueue.task/group;
|
file |
diff |
annotate
|
| Thu, 07 Aug 2008 19:21:38 +0200 |
wenzelm |
install_pp Position.T;
|
file |
diff |
annotate
|
| Tue, 24 Jun 2008 19:43:17 +0200 |
wenzelm |
added pprint_thy_ref;
|
file |
diff |
annotate
|
| Sun, 18 May 2008 17:03:20 +0200 |
wenzelm |
eliminated theory CPure;
|
file |
diff |
annotate
|
| Thu, 10 Apr 2008 14:53:24 +0200 |
wenzelm |
val theory = ThyInfo.get_theory;
|
file |
diff |
annotate
|
| Fri, 28 Mar 2008 20:02:04 +0100 |
wenzelm |
Context.>> : operate on Context.generic;
|
file |
diff |
annotate
|
| Thu, 27 Mar 2008 15:32:15 +0100 |
wenzelm |
eliminated delayed theory setup
|
file |
diff |
annotate
|
| Thu, 27 Mar 2008 14:41:13 +0100 |
wenzelm |
implicit setup of emerging theory Pure;
|
file |
diff |
annotate
|
| Mon, 29 Oct 2007 16:13:41 +0100 |
wenzelm |
qualified Proofterm.proofs;
|
file |
diff |
annotate
|
| Thu, 11 Oct 2007 16:05:26 +0200 |
wenzelm |
renamed Syntax.XXX_mode to Syntax.mode_XXX;
|
file |
diff |
annotate
|
| Mon, 13 Aug 2007 18:10:19 +0200 |
wenzelm |
moved appl syntax to PureThy;
|
file |
diff |
annotate
|
| Tue, 07 Aug 2007 20:19:50 +0200 |
wenzelm |
theory loader: removed obsolete update_thy (coincides with use_thy);
|
file |
diff |
annotate
|
| Sun, 29 Jul 2007 16:00:02 +0200 |
wenzelm |
added ML toplevel use commands: Toplevel.program;
|
file |
diff |
annotate
|
| Tue, 17 Jul 2007 13:19:47 +0200 |
wenzelm |
Pure theory setup.
|
file |
diff |
annotate
|