| Wed, 26 Jul 2006 00:44:49 +0200 |
wenzelm |
moved pprint functions to Isar/proof_display.ML;
|
file |
diff |
annotate
|
| Fri, 27 Jan 2006 19:03:05 +0100 |
wenzelm |
added ProofContext.pprint_context (depends on ProofContext.debug);
|
file |
diff |
annotate
|
| Wed, 29 Jun 2005 15:13:26 +0200 |
wenzelm |
replaced Syntax.simple_pprint_typ by (Sign.pprint_typ ProtoPure.thy);
|
file |
diff |
annotate
|
| Fri, 17 Jun 2005 18:33:23 +0200 |
wenzelm |
removed obsolete pretty printers for Theory.theory, Sign.sg;
|
file |
diff |
annotate
|
| Thu, 09 Jun 2005 16:58:03 +0200 |
wenzelm |
full Display.pprint_theory for ML toplevel facilitates debugging;
|
file |
diff |
annotate
|
| Sat, 26 Mar 2005 18:20:29 +0100 |
paulson |
new display of theory stamps
|
file |
diff |
annotate
|
| Mon, 22 Oct 2001 18:01:26 +0200 |
wenzelm |
qualified names;
|
file |
diff |
annotate
|
| Wed, 09 Jul 1997 16:53:53 +0200 |
wenzelm |
removed init_pps;
|
file |
diff |
annotate
|
| Fri, 01 Mar 1996 10:17:37 +0100 |
paulson |
Theories are now in theory.ML
|
file |
diff |
annotate
|
| Mon, 26 Sep 1994 17:36:10 +0100 |
wenzelm |
added init_pps;
|
file |
diff |
annotate
|
| Thu, 03 Feb 1994 13:55:42 +0100 |
wenzelm |
replaced pprint_sg by Sign.pprint_sg;
|
file |
diff |
annotate
|
| Tue, 18 Jan 1994 15:57:40 +0100 |
lcp |
Many other files modified as follows:
|
file |
diff |
annotate
|
| Thu, 04 Nov 1993 10:34:49 +0100 |
wenzelm |
commented out install_pp for term, typ
|
file |
diff |
annotate
|
| Mon, 04 Oct 1993 15:36:31 +0100 |
wenzelm |
Pure/ROOT.ML
|
file |
diff |
annotate
|
| Thu, 16 Sep 1993 12:20:38 +0200 |
clasohm |
Initial revision
|
file |
diff |
annotate
|