Sun, 25 Sep 2011 13:48:59 +0200 | wenzelm | more uniform defaults; | changeset | files |
Sun, 25 Sep 2011 09:37:33 +0200 | haftmann | Quotient_Set.thy is part of library | changeset | files |
Sun, 25 Sep 2011 00:32:49 +0200 | nipkow | fixed typo | changeset | files |
Sat, 24 Sep 2011 17:18:39 +0200 | wenzelm | standardize drive letters -- important for proper document node identification; | changeset | files |
Sat, 24 Sep 2011 10:45:57 +0200 | wenzelm | more user aliases; | changeset | files |
Sat, 24 Sep 2011 00:17:32 +0100 | sultana | fixed IsaMakefile action for HOL-TPTP. | changeset | files |
Fri, 23 Sep 2011 23:46:13 +0200 | wenzelm | prefer socket comminication on Cygwin, which is more stable here than fifos; | changeset | files |