| Thu, 09 Dec 1999 13:10:39 +0100 |
kleing |
new web pages integrated
|
file |
diff |
annotate
|
| Tue, 02 Nov 1999 17:28:24 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 13 Oct 1999 19:44:33 +0200 |
wenzelm |
berghofe;
|
file |
diff |
annotate
|
| Thu, 07 Oct 1999 14:31:01 +0200 |
wenzelm |
delete Tools;
|
file |
diff |
annotate
|
| Wed, 28 Jul 1999 12:07:08 +0200 |
wenzelm |
mkdir contrib;
|
file |
diff |
annotate
|
| Fri, 09 Jul 1999 19:11:50 +0200 |
wenzelm |
rmdir pdf;
|
file |
diff |
annotate
|
| Wed, 02 Jun 1999 11:55:18 +0200 |
wenzelm |
find -print;
|
file |
diff |
annotate
|
| Fri, 28 May 1999 18:20:58 +0200 |
wenzelm |
move pdfs back into dist;
|
file |
diff |
annotate
|
| Fri, 28 May 1999 18:00:33 +0200 |
wenzelm |
separate archive for pdf docs;
|
file |
diff |
annotate
|
| Mon, 10 May 1999 17:45:16 +0200 |
wenzelm |
make pdf;
|
file |
diff |
annotate
|
| Thu, 04 Mar 1999 14:23:51 +0100 |
wenzelm |
fixed again;
|
file |
diff |
annotate
|
| Mon, 01 Mar 1999 19:10:43 +0100 |
wenzelm |
fixed {ISABELLE};
|
file |
diff |
annotate
|
| Mon, 09 Nov 1998 12:27:41 +0100 |
wenzelm |
Check release name and date in NEWS!
|
file |
diff |
annotate
|
| Sun, 25 Oct 1998 12:33:27 +0100 |
wenzelm |
tuned checklist;
Isabelle98-1
|
file |
diff |
annotate
|
| Thu, 22 Oct 1998 12:32:42 +0200 |
wenzelm |
fixed index.html;
|
file |
diff |
annotate
|
| Thu, 22 Oct 1998 11:09:43 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 07 Oct 1998 17:51:11 +0200 |
wenzelm |
tuned rm CVS;
|
file |
diff |
annotate
|
| Thu, 27 Aug 1998 11:53:45 +0200 |
wenzelm |
eps logis;
|
file |
diff |
annotate
|
| Tue, 21 Jul 1998 17:30:13 +0200 |
wenzelm |
fixed eps/ps find;
|
file |
diff |
annotate
|
| Tue, 21 Jul 1998 16:43:38 +0200 |
wenzelm |
fixed CVSROOT;
|
file |
diff |
annotate
|
| Tue, 21 Jul 1998 16:38:25 +0200 |
wenzelm |
library includes Isabelle version information;
|
file |
diff |
annotate
|
| Fri, 29 May 1998 13:49:50 +0200 |
wenzelm |
tuned msgs;
|
file |
diff |
annotate
|
| Thu, 28 May 1998 14:50:40 +0200 |
wenzelm |
tuned dist version;
|
file |
diff |
annotate
|
| Thu, 28 May 1998 12:22:37 +0200 |
wenzelm |
README, Pure/ROOT.ML: version set automatically;
|
file |
diff |
annotate
|
| Fri, 09 Jan 1998 20:28:18 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 09 Jan 1998 20:07:57 +0100 |
wenzelm |
automatic index.html patch;
|
file |
diff |
annotate
|
| Fri, 09 Jan 1998 14:28:20 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 08 Jan 1998 19:04:33 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 15 Dec 1997 15:16:43 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 06 Nov 1997 16:40:45 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 06 Nov 1997 12:27:12 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 05 Nov 1997 19:39:34 +0100 |
wenzelm |
Tools/8bit: ./mk;
|
file |
diff |
annotate
|
| Tue, 23 Sep 1997 08:44:57 +0200 |
wenzelm |
index.html obsolete;
|
file |
diff |
annotate
|
| Thu, 07 Aug 1997 23:39:28 +0200 |
berghofe |
Added some commands for building theory browser.
|
file |
diff |
annotate
|
| Tue, 27 May 1997 16:31:26 +0200 |
wenzelm |
fixed -P (checkout only);
|
file |
diff |
annotate
|
| Thu, 22 May 1997 16:44:47 +0200 |
wenzelm |
fixed doc;
|
file |
diff |
annotate
|
| Wed, 21 May 1997 17:31:12 +0200 |
wenzelm |
fixed find cmd;
|
file |
diff |
annotate
|
| Tue, 20 May 1997 19:29:50 +0200 |
wenzelm |
README generation;
|
file |
diff |
annotate
|
| Wed, 14 May 1997 18:41:48 +0200 |
wenzelm |
tuned comment;
|
file |
diff |
annotate
|
| Mon, 12 May 1997 18:21:21 +0200 |
wenzelm |
improved doc stuff;
|
file |
diff |
annotate
|
| Fri, 02 May 1997 18:19:01 +0200 |
wenzelm |
-P option (prune empty dirs);
|
file |
diff |
annotate
|
| Fri, 25 Apr 1997 17:28:43 +0200 |
wenzelm |
removed -norc;
|
file |
diff |
annotate
|
| Thu, 17 Apr 1997 14:41:08 +0200 |
wenzelm |
added fixencoding note;
|
file |
diff |
annotate
|
| Thu, 20 Mar 1997 12:34:08 +0100 |
wenzelm |
remove empty dirs;
|
file |
diff |
annotate
|
| Mon, 17 Mar 1997 10:39:57 +0100 |
wenzelm |
uncommented chown / chmod (again);
|
file |
diff |
annotate
|
| Fri, 07 Mar 1997 16:40:30 +0100 |
wenzelm |
commented out chwon, chmod;
|
file |
diff |
annotate
|
| Thu, 27 Feb 1997 13:44:55 +0100 |
wenzelm |
tuned comment;
|
file |
diff |
annotate
|
| Fri, 21 Feb 1997 11:18:33 +0100 |
wenzelm |
fixed Id comment;
|
file |
diff |
annotate
|
| Thu, 20 Feb 1997 17:02:42 +0100 |
wenzelm |
makedist -- make Isabelle distribution.
|
file |
diff |
annotate
|