2011-09-24 | wenzelm | standardize drive letters -- important for proper document node identification; | changeset | files |
2011-09-24 | wenzelm | more user aliases; | changeset | files |
2011-09-23 | sultana | fixed IsaMakefile action for HOL-TPTP. | changeset | files |
2011-09-23 | wenzelm | prefer socket comminication on Cygwin, which is more stable here than fifos; | changeset | files |
2011-09-23 | wenzelm | tuned proof; | changeset | files |
2011-09-23 | wenzelm | made SML/NJ happy; | changeset | files |
Loading... |