| 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 |