Tue, 22 Jun 2004 09:51:59 +0200 |
wenzelm |
added output, removed pp_undef;
|
file |
diff |
annotate
|
Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
Sun, 20 Jun 2004 09:26:29 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 29 May 2004 15:05:51 +0200 |
wenzelm |
pp: abstract pretty printing context; string_of/str_of: mark result as raw output; added Pretty.unbreakable;
|
file |
diff |
annotate
|
Sat, 08 Dec 2001 14:42:45 +0100 |
wenzelm |
added writelns;
|
file |
diff |
annotate
|
Sun, 21 Jan 2001 19:53:29 +0100 |
wenzelm |
support general indentation (e.g. for non-tt latex output);
|
file |
diff |
annotate
|
Tue, 29 Aug 2000 20:13:17 +0200 |
wenzelm |
added indent;
|
file |
diff |
annotate
|
Sun, 25 Jun 2000 23:46:22 +0200 |
wenzelm |
fbrk: 2 if not taken;
|
file |
diff |
annotate
|
Fri, 05 May 2000 22:02:46 +0200 |
wenzelm |
GPLed;
|
file |
diff |
annotate
|
Wed, 15 Mar 2000 18:18:12 +0100 |
wenzelm |
removed lst, strlen, strlen_real, spc, sym;
|
file |
diff |
annotate
|
Tue, 09 Mar 1999 12:11:00 +0100 |
wenzelm |
added strlen_real, setmp_margin;
|
file |
diff |
annotate
|
Thu, 11 Feb 1999 21:15:46 +0100 |
wenzelm |
sym: Symbol.output_width;
|
file |
diff |
annotate
|
Wed, 13 Jan 1999 15:18:02 +0100 |
wenzelm |
fixed titles;
|
file |
diff |
annotate
|
Wed, 13 Jan 1999 12:44:33 +0100 |
wenzelm |
files scan.ML, source.ML, symbol.ML, pretty.ML moved to Pure/General;
|
file |
diff |
annotate
|