https://isabelle.in.tum.de/repos/isabelle/ en-us isabelle: Admin/page/index.html history Admin/page/index.html revision history updated for Isabelle99; https://isabelle.in.tum.de/repos/isabelle/log/61102e8cbe3c/Admin/page/index.html wenzelm Wed, 27 Oct 1999 16:54:43 +0200 fixed @@; https://isabelle.in.tum.de/repos/isabelle/log/07e95e4cfefe/Admin/page/index.html wenzelm Wed, 07 Apr 1999 15:43:16 +0200 tuned; https://isabelle.in.tum.de/repos/isabelle/log/71974ec3ebfb/Admin/page/index.html wenzelm Fri, 22 Jan 1999 17:47:46 +0100 tuned; https://isabelle.in.tum.de/repos/isabelle/log/372919b37b5d/Admin/page/index.html wenzelm Fri, 22 Jan 1999 17:41:13 +0100 isabelle.in.tum.de; https://isabelle.in.tum.de/repos/isabelle/log/d97a944c6ea3/Admin/page/index.html wenzelm Wed, 20 Jan 1999 18:07:34 +0100 "Subscribe" link https://isabelle.in.tum.de/repos/isabelle/log/f174f3be058f/Admin/page/index.html paulson Fri, 06 Nov 1998 15:48:37 +0100 spell check; https://isabelle.in.tum.de/repos/isabelle/log/bd2d9dd34dfd/Admin/page/index.html wenzelm Fri, 06 Nov 1998 14:04:54 +0100 tuned; https://isabelle.in.tum.de/repos/isabelle/log/9d30b79832e8/Admin/page/index.html wenzelm Fri, 06 Nov 1998 13:58:59 +0100 added mailing list, removed mirrors; https://isabelle.in.tum.de/repos/isabelle/log/e867bc95a47d/Admin/page/index.html mueller Fri, 06 Nov 1998 13:42:13 +0100 made more generic; https://isabelle.in.tum.de/repos/isabelle/log/06af82bec2f1/Admin/page/index.html mueller Thu, 05 Nov 1998 15:33:27 +0100 Some streamlining of text. https://isabelle.in.tum.de/repos/isabelle/log/d2c97ca3be62/Admin/page/index.html
Theory library is now assumed to be LOCAL and not at TUM.]]>
paulson Wed, 04 Nov 1998 13:00:15 +0100
tuned; https://isabelle.in.tum.de/repos/isabelle/log/2357319f184a/Admin/page/index.html wenzelm Tue, 03 Nov 1998 17:44:16 +0100 tuned width of pics; https://isabelle.in.tum.de/repos/isabelle/log/8419bd5f85fc/Admin/page/index.html wenzelm Tue, 03 Nov 1998 09:57:53 +0100 tuned; https://isabelle.in.tum.de/repos/isabelle/log/cc32a1c16710/Admin/page/index.html wenzelm Tue, 03 Nov 1998 09:47:49 +0100 tuned pics; https://isabelle.in.tum.de/repos/isabelle/log/dd83042c2f70/Admin/page/index.html wenzelm Mon, 02 Nov 1998 22:16:49 +0100 made weblint happy; https://isabelle.in.tum.de/repos/isabelle/log/7ad4d71adfe1/Admin/page/index.html wenzelm Mon, 02 Nov 1998 22:00:12 +0100 oops; https://isabelle.in.tum.de/repos/isabelle/log/e1aac05fe537/Admin/page/index.html wenzelm Mon, 02 Nov 1998 21:57:49 +0100 Id; https://isabelle.in.tum.de/repos/isabelle/log/9ef3db99f24a/Admin/page/index.html wenzelm Mon, 02 Nov 1998 21:36:48 +0100 tuned; https://isabelle.in.tum.de/repos/isabelle/log/4fe5d5aff4df/Admin/page/index.html fixed links;]]> wenzelm Mon, 02 Nov 1998 21:34:40 +0100 tuned; https://isabelle.in.tum.de/repos/isabelle/log/96ab3e097732/Admin/page/index.html wenzelm Mon, 02 Nov 1998 21:22:03 +0100 main Isabelle page; https://isabelle.in.tum.de/repos/isabelle/log/57e3c7775ead/Admin/page/index.html wenzelm Mon, 02 Nov 1998 21:15:55 +0100