| Fri, 03 Dec 2010 16:39:07 +0100 | wenzelm | updated latex dependencies (cf. 7d88ebdce380); | file | diff | annotate |
| Fri, 31 Jul 2009 11:34:14 +0200 | wenzelm | modernized generated example session; | file | diff | annotate |
| Sat, 20 Dec 2008 11:39:27 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Tue, 21 Oct 2008 20:18:07 +0200 | wenzelm | tuned usage line; | file | diff | annotate |
| Sat, 04 Oct 2008 17:40:56 +0200 | wenzelm | simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle; | file | diff | annotate |
| Sat, 04 Oct 2008 16:05:09 +0200 | wenzelm | replaced ISATOOL by ISABELLE_TOOL; | file | diff | annotate |
| Tue, 09 Sep 2008 19:33:22 +0200 | nipkow | added comment | file | diff | annotate |
| Mon, 12 Nov 2007 11:18:51 +0100 | wenzelm | reactivated default paragraph formatting for ``proof documents''; | file | diff | annotate |
| Wed, 24 Oct 2007 19:21:38 +0200 | wenzelm | tuned comments; | file | diff | annotate |
| Tue, 28 Aug 2007 16:33:52 +0200 | nipkow | Commented out non-standard paragraph formatting. | file | diff | annotate |
| Mon, 20 Jun 2005 22:13:55 +0200 | wenzelm | be less ambitious about the author's name; | file | diff | annotate |
| Tue, 03 May 2005 15:37:41 +0200 | haftmann | make mkdir usable with cygwin | file | diff | annotate |
| Tue, 26 Apr 2005 19:50:57 +0200 | wenzelm | restored AUTO_BASH/PERL -- beware of ./configure! | file | diff | annotate |
| Wed, 20 Apr 2005 16:03:17 +0200 | quigley | Removed remaining references to Main.thy in reconstruction code. | file | diff | annotate |
| Wed, 13 Apr 2005 18:48:05 +0200 | wenzelm | *** MESSAGE REFERS TO PREVIOUS VERSION *** | file | diff | annotate |
| Wed, 13 Apr 2005 18:34:22 +0200 | wenzelm | *** empty log message *** | file | diff | annotate |
| Fri, 04 Mar 2005 15:07:34 +0100 | skalberg | Removed practically all references to Library.foldr. | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Sun, 13 Jun 2004 15:31:11 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 02 May 2003 16:43:36 +0200 | kleing | reduced package dependencies, | file | diff | annotate |
| Fri, 02 May 2003 15:19:36 +0200 | kleing | more documentation for packages in root.tex | file | diff | annotate |
| Wed, 12 Dec 2001 17:43:45 +0100 | wenzelm | option "-d pdf" by default (accomodates pdf bias of Mac OS X); | file | diff | annotate |
| Sat, 01 Dec 2001 18:51:11 +0100 | wenzelm | %\usepackage{textcomp} | file | diff | annotate |
| Thu, 08 Nov 2001 17:54:58 +0100 | wenzelm | \bibliographystyle{abbrv}; | file | diff | annotate |
| Mon, 22 Oct 2001 17:56:16 +0200 | wenzelm | -D generated; | file | diff | annotate |
| Sat, 20 Oct 2001 20:16:55 +0200 | wenzelm | option -q also excludes -v true in generated stuff; | file | diff | annotate |
| Fri, 19 Oct 2001 21:59:33 +0200 | wenzelm | improved default dependencies; | file | diff | annotate |
| Mon, 01 Oct 2001 21:53:50 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 27 Sep 2001 12:23:23 +0200 | wenzelm | removed option -d (now standard behaviour); | file | diff | annotate |
| Fri, 01 Dec 2000 20:24:08 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 30 Nov 2000 20:10:29 +0100 | wenzelm | /usr/bin/env bash; | file | diff | annotate |
| Wed, 22 Nov 2000 21:41:39 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 09 Nov 2000 21:38:00 +0100 | wenzelm | fixed \title: convert "_" to "-"; | file | diff | annotate |
| Mon, 30 Oct 2000 18:22:20 +0100 | wenzelm | tuned tex template; | file | diff | annotate |
| Mon, 23 Oct 2000 22:09:52 +0200 | wenzelm | make sure default document works; | file | diff | annotate |
| Mon, 18 Sep 2000 17:56:44 +0200 | wenzelm | best-style made default; | file | diff | annotate |
| Fri, 01 Sep 2000 17:50:36 +0200 | wenzelm | GPLed; | file | diff | annotate |
| Sat, 19 Aug 2000 12:42:52 +0200 | wenzelm | %\urlstyle{rm} | file | diff | annotate |
| Tue, 04 Jul 2000 01:10:53 +0200 | wenzelm | fixed usage; | file | diff | annotate |
| Mon, 10 Apr 2000 23:38:02 +0200 | wenzelm | handle dir prefix; | file | diff | annotate |
| Sun, 26 Mar 2000 20:08:03 +0200 | wenzelm | tuned targets; | file | diff | annotate |
| Fri, 17 Mar 2000 17:10:37 +0100 | wenzelm | \isamarkupheader: \section; | file | diff | annotate |
| Thu, 16 Mar 2000 00:32:55 +0100 | wenzelm | do not change parindent/parskip; | file | diff | annotate |
| Wed, 15 Mar 2000 18:50:48 +0100 | wenzelm | ## -D document; | file | diff | annotate |
| Thu, 24 Feb 2000 15:34:49 +0100 | wenzelm | tuned generated TeX code; | file | diff | annotate |
| Mon, 14 Feb 2000 20:49:08 +0100 | wenzelm | basic source deps; | file | diff | annotate |
| Tue, 08 Feb 2000 20:14:58 +0100 | wenzelm | rename -p to -P; | file | diff | annotate |
| Sat, 05 Feb 2000 17:06:27 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 05 Feb 2000 16:59:50 +0100 | wenzelm | -I option; | file | diff | annotate |
| Fri, 04 Feb 2000 21:53:36 +0100 | wenzelm | misc improvements; | file | diff | annotate |
| Fri, 28 Jan 2000 15:26:51 +0100 | wenzelm | -p option; | file | diff | annotate |
| Fri, 28 Jan 2000 14:42:46 +0100 | wenzelm | mkdir: prepare logic session directory; | file | diff | annotate |