| Sat, 19 Dec 2015 15:14:59 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 19 Dec 2015 14:47:52 +0100 |
wenzelm |
support for blocks with consistent breaks;
|
file |
diff |
annotate
|
| Sat, 19 Dec 2015 10:59:14 +0100 |
wenzelm |
preserve break indentation;
|
file |
diff |
annotate
|
| Thu, 17 Dec 2015 17:32:01 +0100 |
wenzelm |
support pretty break indent, like underlying ML systems;
|
file |
diff |
annotate
|
| Mon, 31 Mar 2014 12:35:39 +0200 |
wenzelm |
some shortcuts for chunks, which sometimes avoid bulky string output;
|
file |
diff |
annotate
|
| Wed, 05 Mar 2014 16:06:11 +0100 |
wenzelm |
unused;
|
file |
diff |
annotate
|
| Wed, 26 Feb 2014 10:53:19 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 18 Jan 2014 19:15:12 +0100 |
wenzelm |
support for nested text cartouches;
|
file |
diff |
annotate
|
| Wed, 17 Jul 2013 23:32:28 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 28 Mar 2013 15:36:45 +0100 |
wenzelm |
basic support for Pretty.item, which is considered as logical markup and interpreted in Isabelle/Scala, but ignored elsewhere (TTY, latex etc.);
|
file |
diff |
annotate
|
| Mon, 25 Mar 2013 14:04:01 +0100 |
wenzelm |
clarified text_fold vs. fbrk;
|
file |
diff |
annotate
|
| Sat, 23 Mar 2013 13:04:28 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 15 Dec 2012 12:55:11 +0100 |
wenzelm |
explicit text_fold markup, which is used by default in Pretty.chunks/chunks2;
|
file |
diff |
annotate
|
| Sun, 25 Nov 2012 19:49:24 +0100 |
wenzelm |
Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
|
file |
diff |
annotate
|
| Thu, 22 Nov 2012 12:22:03 +0100 |
wenzelm |
some support for breakable text and paragraphs;
|
file |
diff |
annotate
|
| Sat, 29 Sep 2012 16:15:18 +0200 |
wenzelm |
treat wrapped markup elements as raw markup delimiters;
|
file |
diff |
annotate
|
| Tue, 25 Sep 2012 20:28:47 +0200 |
wenzelm |
ML support for generic graph display, with browser and graphview backends (via print modes);
|
file |
diff |
annotate
|
| Mon, 24 Sep 2012 17:28:36 +0200 |
wenzelm |
more explicit keyword1/keyword2 markup -- avoid potential conflict with input token markup produced by Token_Marker;
|
file |
diff |
annotate
|
| Tue, 07 Aug 2012 12:10:26 +0200 |
wenzelm |
tuned signature -- make Pretty less dependent on Symbol;
|
file |
diff |
annotate
|
| Tue, 13 Mar 2012 11:21:26 +0100 |
wenzelm |
allow redefining pretty/markup modes (not output due to bootstrap issues) -- to support reloading of theory src/HOL/src/Tools/Code_Generator;
|
file |
diff |
annotate
|
| Mon, 28 Nov 2011 22:05:32 +0100 |
wenzelm |
separate module for concrete Isabelle markup;
|
file |
diff |
annotate
|
| Wed, 06 Jul 2011 20:46:06 +0200 |
wenzelm |
prefer Synchronized.var;
|
file |
diff |
annotate
|
| Mon, 18 Apr 2011 11:13:29 +0200 |
wenzelm |
simplified pretty printing context, which is only required for certain kernel operations;
|
file |
diff |
annotate
|
| Thu, 07 Apr 2011 17:38:17 +0200 |
wenzelm |
clarified Pretty.mark;
|
file |
diff |
annotate
|
| Mon, 25 Oct 2010 20:24:13 +0200 |
wenzelm |
explicitly qualify type Output.output, which is a slightly odd internal feature;
|
file |
diff |
annotate
|
| Wed, 18 Aug 2010 11:02:47 +0200 |
wenzelm |
uniform Markup.empty/Markup.Empty in ML and Scala;
|
file |
diff |
annotate
|
| Thu, 24 Jun 2010 14:31:46 +0200 |
wenzelm |
treat Pretty.T as strictly abstract type;
|
file |
diff |
annotate
|
| Sun, 30 May 2010 14:21:35 +0200 |
wenzelm |
simplified command/keyword markup;
|
file |
diff |
annotate
|
| Sat, 08 May 2010 20:12:49 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 08 May 2010 19:53:11 +0200 |
wenzelm |
discontinued Pretty.setdepth, which appears to be largely unused, but can disrupt important markup if enabled accidentally;
|
file |
diff |
annotate
|