| Thu, 17 Jul 2008 21:23:08 +0200 | wenzelm | tuned message; | file | diff | annotate |
| Thu, 17 Jul 2008 20:15:12 +0200 | wenzelm | structure Distribution: swapped default for is_official; | file | diff | annotate |
| Thu, 17 Jul 2008 17:11:34 +0200 | wenzelm | tuned whitespace; | file | diff | annotate |
| Thu, 17 Jul 2008 17:10:53 +0200 | wenzelm | removed old checklist; | file | diff | annotate |
| Thu, 17 Jul 2008 16:56:48 +0200 | wenzelm | assume GNU tar and find; | file | diff | annotate |
| Wed, 02 Jul 2008 20:13:32 +0200 | wenzelm | renamed Contents to Dirs to avoid case-conflict with doc/Contents; | file | diff | annotate |
| Sun, 08 Jun 2008 14:29:09 +0200 | wenzelm | remove codegen_process.pdf from distribution; | file | diff | annotate |
| Fri, 30 May 2008 23:26:51 +0200 | wenzelm | cvs2cl only for unofficial releases; | file | diff | annotate |
| Mon, 24 Mar 2008 16:05:25 +0100 | wenzelm | replaced obsolete /usr/proj by /home; | file | diff | annotate |
| Mon, 24 Mar 2008 15:59:16 +0100 | wenzelm | remote CVSROOT: default to atbroy100 instead of sunbroy2; | file | diff | annotate |
| Mon, 25 Feb 2008 17:27:38 +0100 | wenzelm | tuned structure Distribution; | file | diff | annotate |
| Thu, 21 Feb 2008 21:31:51 +0100 | wenzelm | keep ChangeLog.gz within distribution; | file | diff | annotate |
| Wed, 23 Jan 2008 23:35:23 +0100 | wenzelm | reactivated mk of java/scala sources, with paranoia PATH setting for sunbroy; | file | diff | annotate |
| Mon, 07 Jan 2008 11:40:20 +0100 | wenzelm | isabelle.jars: temporarily disabled, until isatest gets up-to-date java; | file | diff | annotate |
| Sun, 06 Jan 2008 18:09:34 +0100 | wenzelm | build Isabelle process wrapper; | file | diff | annotate |
| Thu, 15 Nov 2007 11:49:00 +0100 | wenzelm | cover ISABELLE_IDENTIFIER; | file | diff | annotate |
| Tue, 30 Oct 2007 12:14:23 +0100 | haftmann | improved website integration | file | diff | annotate |
| Tue, 30 Oct 2007 10:51:35 +0100 | haftmann | split library index into templates | file | diff | annotate |
| Sat, 27 Oct 2007 12:48:44 +0200 | haftmann | ASCIIfied README | file | diff | annotate |
| Sun, 22 Jul 2007 11:58:23 +0200 | wenzelm | chmod u+rw on all files; | file | diff | annotate |
| Sat, 02 Jun 2007 13:52:07 +0200 | wenzelm | proper handling of Tools; | file | diff | annotate |
| Thu, 31 May 2007 18:16:46 +0200 | wenzelm | doc: exclude isabelle_isar.pdf; | file | diff | annotate |
| Thu, 31 May 2007 13:18:42 +0200 | wenzelm | added src/Tools; | file | diff | annotate |
| Fri, 08 Dec 2006 23:25:50 +0100 | wenzelm | date: forcing LC_ALL=C prevents funny file names; | file | diff | annotate |
| Thu, 12 Oct 2006 08:25:04 +0200 | haftmann | now allowing subdirectories in Doc/ | file | diff | annotate |
| Mon, 02 Jan 2006 20:50:17 +0100 | wenzelm | ISABELLE_USER for remote cvs access; | file | diff | annotate |
| Fri, 21 Oct 2005 09:05:52 +0200 | haftmann | towards an improved website/makedist integration | file | diff | annotate |
| Wed, 19 Oct 2005 16:32:09 +0200 | haftmann | slight improvements for website | file | diff | annotate |
| Wed, 28 Sep 2005 11:50:15 +0200 | wenzelm | avoid naming existing tags in explanations; | file | diff | annotate |
| Mon, 26 Sep 2005 19:19:12 +0200 | wenzelm | yet another atempt to get doc/Contents right; | file | diff | annotate |
| Mon, 26 Sep 2005 17:14:48 +0200 | wenzelm | really copy doc/Contents; | file | diff | annotate |
| Mon, 26 Sep 2005 15:56:28 +0200 | wenzelm | copy doc/Contents; | file | diff | annotate |
| Fri, 23 Sep 2005 18:47:47 +0200 | wenzelm | removed doc/index.html from distribution (now produced by website); | file | diff | annotate |
| Wed, 21 Sep 2005 14:45:55 +0200 | wenzelm | fixed cvs export; | file | diff | annotate |
| Wed, 21 Sep 2005 14:23:57 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 21 Sep 2005 14:03:30 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 21 Sep 2005 13:28:44 +0200 | wenzelm | removed "--" argument; | file | diff | annotate |
| Tue, 21 Jun 2005 08:16:03 +0200 | haftmann | removed mkcontent from makedist | file | diff | annotate |
| Mon, 20 Jun 2005 22:13:53 +0200 | wenzelm | exclude pghead.pdf from doc; | file | diff | annotate |
| Thu, 09 Jun 2005 11:04:54 +0200 | haftmann | added CONTRIBUTORS | file | diff | annotate |
| Mon, 06 Jun 2005 14:12:07 +0200 | haftmann | migrated scripts to new webiste | file | diff | annotate |
| Sun, 05 Jun 2005 23:07:24 +0200 | wenzelm | find empty dirs up to depth 5; | file | diff | annotate |
| Wed, 01 Jun 2005 10:30:07 +0200 | haftmann | concl antiqutations | file | diff | annotate |
| Sun, 29 May 2005 05:23:28 +0200 | kleing | make COPYRIGHT file available for web page | file | diff | annotate |
| Thu, 13 Jan 2005 14:56:37 +0100 | berghofe | Added ChangeLog | file | diff | annotate |
| Mon, 03 Feb 2003 11:44:23 +0100 | berghofe | Fill in version information in lib/Tools/version. | file | diff | annotate |
| Thu, 20 Jun 2002 21:44:54 +0200 | kleing | fail more gracefully, return proper exit codes, allow preset DISTPREFIX | file | diff | annotate |
| Tue, 30 Apr 2002 12:15:48 +0200 | kleing | physical location of isabelle repository is now sunbroy2 | file | diff | annotate |
| Fri, 08 Mar 2002 20:39:39 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 28 Feb 2002 21:31:13 +0100 | wenzelm | delete .cvsignore; | file | diff | annotate |
| Fri, 11 Jan 2002 17:04:49 +0100 | wenzelm | #!/usr/bin/env bash; | file | diff | annotate |
| Mon, 29 Oct 2001 17:22:18 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 02 Jul 2001 21:14:53 +0200 | wenzelm | do *not* ./configure; | file | diff | annotate |
| Mon, 05 Feb 2001 14:31:49 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 18 Jan 2001 20:35:39 +0100 | wenzelm | generate index.html for pdf docs; | file | diff | annotate |
| Tue, 28 Nov 2000 01:48:07 +0100 | wenzelm | fixed hostname; | file | diff | annotate |
| Tue, 28 Nov 2000 01:23:45 +0100 | wenzelm | detect CVSROOT; | file | diff | annotate |
| Sun, 08 Oct 2000 19:58:26 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 28 Sep 2000 19:10:19 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 27 Sep 2000 19:39:50 +0200 | wenzelm | tuned; | file | diff | annotate |