| Wed, 25 Jan 2012 21:14:00 +0100 | wenzelm | tuned ML infixes; | file | diff | annotate |
| Tue, 03 May 2011 21:40:14 +0200 | wenzelm | more precise syntax diagram; | file | diff | annotate |
| Tue, 03 May 2011 21:07:24 +0200 | wenzelm | updated generated files; | file | diff | annotate |
| Sun, 01 May 2011 17:42:21 +0200 | wenzelm | simplified keyword markup (without formal checking); | file | diff | annotate |
| Sun, 01 May 2011 00:01:59 +0200 | wenzelm | use @{rail} antiquotation (with some nested markup); | file | diff | annotate |
| Wed, 15 Dec 2010 13:35:50 +0100 | wenzelm | more correct ML snippets that are unchecked; | file | diff | annotate |
| Sun, 05 Dec 2010 13:42:58 +0100 | wenzelm | prefer 'notepad' over 'example_proof'; | file | diff | annotate |
| Mon, 29 Nov 2010 11:27:39 +0100 | wenzelm | updated generated files; | file | diff | annotate |
| Fri, 12 Nov 2010 14:06:37 +0100 | wenzelm | never open Unsynchronized; | file | diff | annotate |
| Mon, 08 Nov 2010 00:00:47 +0100 | wenzelm | updated generated files; | file | diff | annotate |
| Tue, 02 Nov 2010 21:59:21 +0100 | wenzelm | more on naming tactics; | file | diff | annotate |
| Tue, 02 Nov 2010 21:21:07 +0100 | wenzelm | more on "Time" in Isabelle/ML; | file | diff | annotate |
| Thu, 28 Oct 2010 17:25:46 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 26 Oct 2010 15:57:16 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 25 Oct 2010 16:14:40 +0200 | wenzelm | misc tuning; | file | diff | annotate |
| Mon, 25 Oct 2010 11:16:23 +0200 | wenzelm | added ML antiquotation @{assert}; | file | diff | annotate |
| Fri, 22 Oct 2010 20:57:33 +0100 | wenzelm | cumulative update of generated files (since bf164c153d10); | file | diff | annotate |
| Fri, 16 Apr 2010 11:40:01 +0200 | wenzelm | salvaged some ML functors from decay, which is the natural consequence of lack of formal checking; | file | diff | annotate |
| Wed, 14 Apr 2010 11:24:31 +0200 | wenzelm | updated Thm.add_axiom/add_def; | file | diff | annotate |
| Mon, 26 Oct 2009 08:54:20 +0100 | haftmann | adjusted to changes in corresponding ML code | file | diff | annotate |
| Thu, 01 Oct 2009 20:20:45 +0200 | wenzelm | updated generated files; | file | diff | annotate |
| Thu, 05 Mar 2009 02:27:54 +0100 | wenzelm | regenerated document; | file | diff | annotate |
| Wed, 04 Mar 2009 11:05:29 +0100 | blanchet | Merge. | file | diff | annotate |
| Wed, 04 Mar 2009 10:45:52 +0100 | blanchet | Merge. | file | diff | annotate |
| Thu, 26 Feb 2009 20:55:47 +0100 | wenzelm | updated generated files; | file | diff | annotate |
| Mon, 16 Feb 2009 20:49:39 +0100 | wenzelm | updated generated files; | file | diff | annotate |
| Tue, 27 Jan 2009 19:56:26 +0100 | wenzelm | updated generated file; | file | diff | annotate |
| Thu, 22 Jan 2009 09:04:45 +0100 | haftmann | binding replaces bstring | file | diff | annotate |
| Wed, 21 Jan 2009 16:47:32 +0100 | haftmann | binding is alias for Binding.T | file | diff | annotate |
| Tue, 23 Dec 2008 21:03:47 +0100 | wenzelm | updated generated file; | file | diff | annotate |
| Sat, 06 Dec 2008 08:57:39 +0100 | haftmann | adapted to changes in binding module | file | diff | annotate |
| Wed, 17 Sep 2008 23:23:49 +0200 | wenzelm | threads work only for Poly/ML 5.2 or later; | file | diff | annotate |
| Wed, 03 Sep 2008 17:47:30 +0200 | wenzelm | Sign.declare_const: Name.binding; | file | diff | annotate |
| Tue, 02 Sep 2008 18:01:23 +0200 | wenzelm | updated generated file; | file | diff | annotate |
| Thu, 08 May 2008 22:20:33 +0200 | wenzelm | improved treatment of "_" thanks to underscore.sty; | file | diff | annotate |
| Fri, 28 Mar 2008 18:56:43 +0100 | haftmann | some styling | file | diff | annotate |
| Fri, 28 Mar 2008 18:51:17 +0100 | haftmann | some styling | file | diff | annotate |
| Thu, 27 Mar 2008 16:24:10 +0100 | wenzelm | tuned appendix; | file | diff | annotate |
| Wed, 12 Dec 2007 09:00:07 +0100 | haftmann | adjusted | file | diff | annotate |
| Thu, 25 Oct 2007 13:51:58 +0200 | haftmann | continued | file | diff | annotate |
| Tue, 23 Oct 2007 10:53:15 +0200 | haftmann | continued | file | diff | annotate |
| Wed, 01 Aug 2007 16:55:37 +0200 | wenzelm | tuned config options: eliminated separate attribute "option"; | file | diff | annotate |
| Tue, 31 Jul 2007 19:38:33 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 31 Jul 2007 19:26:35 +0200 | wenzelm | tuned section "Style"; | file | diff | annotate |
| Sun, 08 Jul 2007 19:51:54 +0200 | wenzelm | updated; | file | diff | annotate |
| Fri, 30 Mar 2007 16:18:59 +0200 | haftmann | updated | file | diff | annotate |
| Fri, 23 Mar 2007 09:40:43 +0100 | haftmann | added some sketches about library functions | file | diff | annotate |
| Wed, 14 Feb 2007 10:07:17 +0100 | haftmann | continued | file | diff | annotate |
| Sat, 10 Feb 2007 09:26:11 +0100 | haftmann | added outline for Isabelle library description | file | diff | annotate |
| Thu, 23 Nov 2006 20:33:42 +0100 | wenzelm | updated; | file | diff | annotate |
| Sat, 04 Nov 2006 19:25:39 +0100 | wenzelm | updated; | file | diff | annotate |
| Fri, 03 Nov 2006 14:22:34 +0100 | haftmann | first version of style guide | file | diff | annotate |
| Tue, 12 Sep 2006 17:45:58 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 07 Sep 2006 20:12:08 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 07 Sep 2006 15:16:51 +0200 | wenzelm | updated; | file | diff | annotate |
| Tue, 03 Jan 2006 13:59:55 +0100 | wenzelm | more stuff; | file | diff | annotate |
| Tue, 03 Jan 2006 00:06:23 +0100 | wenzelm | updated; | file | diff | annotate |
| Mon, 02 Jan 2006 20:16:52 +0100 | wenzelm | "The Isabelle/Isar Implementation" manual; | file | diff | annotate |