| Mon, 18 Sep 2006 19:12:48 +0200 | wenzelm | output: uninterpreted raw symbols -- these are usually LaTeX macros; | file | diff | annotate |
| Sat, 29 Jul 2006 00:51:36 +0200 | wenzelm | rename legacy_pretty_thm to pretty_thm_legacy; | file | diff | annotate |
| Thu, 27 Jul 2006 13:43:13 +0200 | wenzelm | ProofContext.legacy_pretty_thm; | file | diff | annotate |
| Sun, 09 Apr 2006 18:51:23 +0200 | wenzelm | results: smart_pretty_thm uses adhoc proof context if possible; | file | diff | annotate |
| Tue, 21 Mar 2006 12:18:15 +0100 | wenzelm | avoid polymorphic equality; | file | diff | annotate |
| Tue, 14 Mar 2006 22:06:33 +0100 | wenzelm | Output.add_mode: keyword component; | file | diff | annotate |
| Thu, 19 Jan 2006 21:22:08 +0100 | wenzelm | setup: theory -> theory; | file | diff | annotate |
| Sat, 17 Sep 2005 18:11:30 +0200 | wenzelm | added with_charset: string -> ('a -> 'b) -> 'a -> 'b; | file | diff | annotate |
| Thu, 15 Sep 2005 17:16:56 +0200 | wenzelm | TableFun/Symtab: curried lookup and update; | file | diff | annotate |
| Thu, 01 Sep 2005 18:48:50 +0200 | wenzelm | curried_lookup/update; | file | diff | annotate |
| Wed, 31 Aug 2005 15:46:48 +0200 | wenzelm | added line break for 'uses'; | file | diff | annotate |
| Sun, 28 Aug 2005 19:48:15 +0200 | wenzelm | output \<^loc> as 'loc' span; | file | diff | annotate |
| Thu, 18 Aug 2005 11:17:51 +0200 | wenzelm | replace freeze by 'setmp show_question_marks false'; | file | diff | annotate |
| Tue, 16 Aug 2005 13:42:51 +0200 | wenzelm | begin_index: list of docs; | file | diff | annotate |
| Sun, 05 Jun 2005 11:31:31 +0200 | wenzelm | present new-style theory header, with 'imports' and 'uses'; | file | diff | annotate |
| Thu, 02 Jun 2005 18:29:57 +0200 | wenzelm | html_syms table; | file | diff | annotate |
| Thu, 21 Apr 2005 22:02:06 +0200 | wenzelm | superceded by Pure.thy and CPure.thy; | file | diff | annotate |
| Sun, 13 Feb 2005 17:15:14 +0100 | skalberg | Deleted Library.option type. | file | diff | annotate |
| Mon, 29 Nov 2004 06:09:45 +0100 | kleing | render \<circ> as o not ˆ (which is ^) | file | diff | annotate |
| Tue, 22 Jun 2004 09:51:23 +0200 | wenzelm | tuned output; | 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:48 +0200 | wenzelm | Symbol.encode_raw; | file | diff | annotate |
| Sat, 29 May 2004 15:08:08 +0200 | wenzelm | handle raw symbols; Output.add_mode; more robust handling of sub/superscript; | file | diff | annotate |
| Fri, 21 May 2004 21:19:04 +0200 | wenzelm | output_tym: removed duplicate clauses; | file | diff | annotate |
| Fri, 16 Apr 2004 18:45:56 +0200 | berghofe | Replaced quote by Library.quote, since quote now refers to Symbol.quote | file | diff | annotate |
| Thu, 15 Apr 2004 20:31:30 +0200 | wenzelm | fixed width; | file | diff | annotate |
| Wed, 14 Apr 2004 14:13:05 +0200 | kleing | use more symbols in HTML output | file | diff | annotate |
| Wed, 14 Apr 2004 09:53:25 +0200 | kleing | prod and sum | file | diff | annotate |
| Tue, 13 Apr 2004 10:45:35 +0200 | kleing | convert symbols to HTML 4.0 character entities, | file | diff | annotate |
| Mon, 12 Apr 2004 23:52:51 +0200 | kleing | use css | file | diff | annotate |
| Fri, 09 Apr 2004 16:31:15 +0200 | kleing | treat sub/super scripts | file | diff | annotate |
| Mon, 30 Jun 2003 12:23:00 +0200 | webertj | Added DOCTYPE and Content-type to HTML documents. | file | diff | annotate |
| Tue, 27 Aug 2002 11:06:45 +0200 | wenzelm | simplified results; | file | diff | annotate |
| Thu, 06 Dec 2001 17:16:46 +0100 | wenzelm | tuned line breaks in HTML source; | file | diff | annotate |
| Sun, 11 Nov 2001 21:38:54 +0100 | wenzelm | present multi_result; | file | diff | annotate |
| Sun, 21 Jan 2001 19:54:52 +0100 | wenzelm | setup indent; | file | diff | annotate |
| Thu, 11 Jan 2001 21:51:14 +0100 | wenzelm | do not hilite "xnum"; | file | diff | annotate |
| Wed, 10 Jan 2001 00:14:52 +0100 | wenzelm | added \<dieresis>, \<acute>, \<cedilla>, \<emptyset>; | file | diff | annotate |
| Tue, 09 Jan 2001 15:18:07 +0100 | wenzelm | replaced \<macron> by \<inverse>; | file | diff | annotate |
| Fri, 01 Dec 2000 19:44:48 +0100 | wenzelm | append print modes; | file | diff | annotate |
| Fri, 15 Sep 2000 00:17:51 +0200 | wenzelm | handle more symbols; | file | diff | annotate |
| Sun, 23 Jul 2000 12:08:54 +0200 | wenzelm | removed all_sessions; | file | diff | annotate |
| Wed, 07 Jun 2000 12:14:57 +0200 | berghofe | Removed codebase attribute from applet_pages. | file | diff | annotate |
| Fri, 05 May 2000 22:18:40 +0200 | wenzelm | GPLed; | file | diff | annotate |
| Fri, 04 Feb 2000 21:43:30 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 05 Jan 2000 11:38:48 +0100 | wenzelm | chapter; | file | diff | annotate |
| Mon, 11 Oct 1999 20:42:06 +0200 | wenzelm | files: separate by " "; | file | diff | annotate |
| Tue, 05 Oct 1999 15:33:22 +0200 | wenzelm | begin_index: document; | file | diff | annotate |
| Wed, 29 Sep 1999 13:49:49 +0200 | wenzelm | more sections; | file | diff | annotate |
| Wed, 22 Sep 1999 20:57:51 +0200 | wenzelm | present results; | file | diff | annotate |
| Wed, 01 Sep 1999 21:06:27 +0200 | wenzelm | added theorems; | file | diff | annotate |
| Tue, 01 Jun 1999 18:01:01 +0200 | wenzelm | tuned markup; | file | diff | annotate |
| Mon, 17 May 1999 16:55:27 +0200 | berghofe | Reimplemented graph generator. | file | diff | annotate |
| Fri, 19 Mar 1999 11:26:40 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 17 Mar 1999 13:41:14 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 12 Mar 1999 18:48:11 +0100 | wenzelm | theory: include parent links; | file | diff | annotate |
| Thu, 11 Mar 1999 12:33:34 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 10 Mar 1999 10:53:02 +0100 | wenzelm | output: some symbol translations; | file | diff | annotate |
| Tue, 09 Mar 1999 12:12:45 +0100 | wenzelm | HTML markup elements. | file | diff | annotate |