https://isabelle.in.tum.de/repos/isabelle/ en-us isabelle: src/CTT/README.html history src/CTT/README.html revision history removed obsolete CVS Ids; https://isabelle.in.tum.de/repos/isabelle/log/952b2b102a0a/src/CTT/README.html wenzelm Wed, 12 May 2010 14:17:26 +0200 tuned; https://isabelle.in.tum.de/repos/isabelle/log/957bcf55c98f/src/CTT/README.html wenzelm Fri, 02 Jun 2006 18:24:48 +0200 removed obsolete ML files; https://isabelle.in.tum.de/repos/isabelle/log/5cd82054c2c6/src/CTT/README.html wenzelm Fri, 02 Jun 2006 18:15:38 +0200 HTML 4.01 Transitional conformity https://isabelle.in.tum.de/repos/isabelle/log/7219facb3fd0/src/CTT/README.html webertj Mon, 07 Mar 2005 19:17:07 +0100 DOCTYPE declaration added https://isabelle.in.tum.de/repos/isabelle/log/f21466450330/src/CTT/README.html webertj Sun, 14 Nov 2004 01:40:27 +0100 tuned all READMEs; https://isabelle.in.tum.de/repos/isabelle/log/815ef5848324/src/CTT/README.html wenzelm Wed, 21 May 1997 17:13:00 +0200 HTML version of README https://isabelle.in.tum.de/repos/isabelle/log/69fec018854c/src/CTT/README.html clasohm Fri, 17 Nov 1995 13:22:50 +0100