Thu, 06 Mar 2008 19:21:20 +0100 | wenzelm | removed obsolete THIS_IS_ISABELLE_BUILD feature; | file | diff | annotate |
Wed, 05 Dec 2007 04:34:15 +0100 | kleing | switch poly to 5.1, removed -e flag from most sessions | file | diff | annotate |
Wed, 05 Dec 2007 04:27:37 +0100 | kleing | make at64 non-experimental | file | diff | annotate |