https://isabelle.in.tum.de/repos/isabelle/ en-us isabelle: README.html history README.html revision history updated for Isabelle2005; https://isabelle.in.tum.de/repos/isabelle/log/b0d70cf4ed18/README.html wenzelm Wed, 21 Sep 2005 11:50:38 +0200 a very little cleanup https://isabelle.in.tum.de/repos/isabelle/log/cd2cd49e6c8f/README.html haftmann Thu, 09 Jun 2005 11:04:02 +0200 HTML 4.01 Transitional conformity https://isabelle.in.tum.de/repos/isabelle/log/7219facb3fd0/README.html webertj Mon, 07 Mar 2005 19:17:07 +0100 added DOCTYPE and Content-Type declarations to make this a valid HTML file https://isabelle.in.tum.de/repos/isabelle/log/25dc2f17661b/README.html webertj Fri, 12 Nov 2004 15:49:25 +0100 fixed address https://isabelle.in.tum.de/repos/isabelle/log/96bcf6d0bf72/README.html paulson Mon, 19 Apr 2004 12:12:01 +0200 fixed address https://isabelle.in.tum.de/repos/isabelle/log/8086e5beef0e/README.html paulson Mon, 19 Apr 2004 11:35:41 +0200 updated Tobias' address https://isabelle.in.tum.de/repos/isabelle/log/5275774155cf/README.html kleing Mon, 19 Apr 2004 00:00:05 +0200 do not mention MLWorks and poly 3.x any more, they are untested https://isabelle.in.tum.de/repos/isabelle/log/f0f50362cb67/README.html kleing Sat, 17 Apr 2004 13:56:08 +0200 fixed PG link https://isabelle.in.tum.de/repos/isabelle/log/e616f4bda3a2/README.html kleing Tue, 16 Dec 2003 23:24:17 +0100 smlnj link update, x-symbol/PG update https://isabelle.in.tum.de/repos/isabelle/log/8c2b9750628f/README.html kleing Mon, 12 May 2003 13:49:08 +0200 updated X-Symbol URL; https://isabelle.in.tum.de/repos/isabelle/log/f4ed10eaaff8/README.html wenzelm Mon, 13 May 2002 10:40:59 +0200 tuned; https://isabelle.in.tum.de/repos/isabelle/log/c039b8ede204/README.html wenzelm Mon, 04 Mar 2002 22:31:21 +0100 updated; https://isabelle.in.tum.de/repos/isabelle/log/b4c7cb040644/README.html wenzelm Wed, 26 Sep 2001 23:00:41 +0200 tuned; https://isabelle.in.tum.de/repos/isabelle/log/449e1a1bb7a8/README.html wenzelm Fri, 16 Feb 2001 00:36:21 +0100 tuned; https://isabelle.in.tum.de/repos/isabelle/log/ceab8d437b96/README.html wenzelm Mon, 05 Feb 2001 14:40:21 +0100 www.proofgeneral.org; https://isabelle.in.tum.de/repos/isabelle/log/0d78784176f4/README.html wenzelm Tue, 26 Sep 2000 17:02:51 +0200 tuned; https://isabelle.in.tum.de/repos/isabelle/log/7a9652294fe0/README.html wenzelm Mon, 11 Sep 2000 20:41:44 +0200 tuned; https://isabelle.in.tum.de/repos/isabelle/log/d505b11ce30d/README.html wenzelm Sun, 23 Jul 2000 11:58:30 +0200 updated; https://isabelle.in.tum.de/repos/isabelle/log/85539b33be03/README.html wenzelm Fri, 05 May 2000 22:23:27 +0200 updated discussion of compilers https://isabelle.in.tum.de/repos/isabelle/log/514df4f1df10/README.html paulson Thu, 09 Mar 2000 10:35:07 +0100 corrected, improved eMail addresses, user interface section https://isabelle.in.tum.de/repos/isabelle/log/72d783f7313a/README.html oheimb Tue, 21 Dec 1999 11:27:32 +0100 tuned; https://isabelle.in.tum.de/repos/isabelle/log/954e30918b86/README.html wenzelm Thu, 28 Oct 1999 13:55:17 +0200 tuned; https://isabelle.in.tum.de/repos/isabelle/log/5ce623228ef2/README.html wenzelm Mon, 06 Sep 1999 10:54:10 +0200 tuned; https://isabelle.in.tum.de/repos/isabelle/log/1f1d5e00e0a5/README.html wenzelm Thu, 22 Apr 1999 15:16:59 +0200 tuned; https://isabelle.in.tum.de/repos/isabelle/log/59507030d953/README.html wenzelm Thu, 14 Jan 1999 12:23:00 +0100 tuned, updated; https://isabelle.in.tum.de/repos/isabelle/log/60d97d521453/README.html wenzelm Mon, 11 Jan 1999 12:50:29 +0100 dropped support for SML/NJ 109.x; https://isabelle.in.tum.de/repos/isabelle/log/fb09ab6a447f/README.html wenzelm Wed, 21 Oct 1998 14:05:49 +0200 updated the MLWorks description https://isabelle.in.tum.de/repos/isabelle/log/e68c518b9140/README.html paulson Tue, 20 Oct 1998 11:16:23 +0200 updated, tuned; https://isabelle.in.tum.de/repos/isabelle/log/1dc74203b1d2/README.html wenzelm Sun, 18 Oct 1998 16:49:56 +0200 tuned Isamode; https://isabelle.in.tum.de/repos/isabelle/log/c2cd79a6645f/README.html wenzelm Tue, 22 Sep 1998 17:08:30 +0200 tuned; https://isabelle.in.tum.de/repos/isabelle/log/49b118cbbea0/README.html wenzelm Fri, 28 Aug 1998 13:35:43 +0200 www.in.tum.de; https://isabelle.in.tum.de/repos/isabelle/log/79d3b232d859/README.html wenzelm Thu, 27 Aug 1998 20:56:26 +0200 tuned; https://isabelle.in.tum.de/repos/isabelle/log/dd4f51adfff3/README.html wenzelm Tue, 28 Jul 1998 16:59:15 +0200 tuned; https://isabelle.in.tum.de/repos/isabelle/log/257aeccdefc3/README.html wenzelm Fri, 29 May 1998 13:50:21 +0200 version under control of Admin/makedist; https://isabelle.in.tum.de/repos/isabelle/log/a5b90f34a05c/README.html wenzelm Thu, 28 May 1998 12:23:11 +0200 tuned; https://isabelle.in.tum.de/repos/isabelle/log/c5cfd00e4f28/README.html wenzelm Mon, 19 Jan 1998 16:26:11 +0100 tuned; https://isabelle.in.tum.de/repos/isabelle/log/b595116eb3c4/README.html wenzelm Wed, 24 Dec 1997 12:38:40 +0100 added MLWorks; https://isabelle.in.tum.de/repos/isabelle/log/22f31e6e5aad/README.html wenzelm Wed, 17 Dec 1997 17:51:39 +0100 tuned; https://isabelle.in.tum.de/repos/isabelle/log/ac5cb6219db7/README.html wenzelm Mon, 15 Dec 1997 15:32:27 +0100 prepared for Isabelle98; https://isabelle.in.tum.de/repos/isabelle/log/384108c6e209/README.html wenzelm Fri, 12 Dec 1997 18:10:59 +0100 Perl no longer optional; https://isabelle.in.tum.de/repos/isabelle/log/706902a9abdd/README.html wenzelm Thu, 06 Nov 1997 16:44:35 +0100 removed smlnj-1.07; https://isabelle.in.tum.de/repos/isabelle/log/aee7effe0816/README.html wenzelm Wed, 06 Aug 1997 14:35:52 +0200 added 1.09.28 note; https://isabelle.in.tum.de/repos/isabelle/log/85a7eede097e/README.html wenzelm Tue, 27 May 1997 14:38:49 +0200 tuned; https://isabelle.in.tum.de/repos/isabelle/log/bc4d107fb6dd/README.html wenzelm Fri, 23 May 1997 18:55:28 +0200 added href to Isamode; https://isabelle.in.tum.de/repos/isabelle/log/13d955a405f3/README.html wenzelm Thu, 22 May 1997 17:20:55 +0200 tuned all READMEs; https://isabelle.in.tum.de/repos/isabelle/log/815ef5848324/README.html wenzelm Wed, 21 May 1997 17:13:00 +0200 tuned; https://isabelle.in.tum.de/repos/isabelle/log/70939b0fadfb/README.html wenzelm Wed, 21 May 1997 11:27:32 +0200 fix spelling; https://isabelle.in.tum.de/repos/isabelle/log/847c275854d4/README.html wenzelm Tue, 20 May 1997 19:32:40 +0200 the new README; https://isabelle.in.tum.de/repos/isabelle/log/667be2ebd22f/README.html wenzelm Tue, 20 May 1997 19:30:57 +0200