| Sun, 12 Jun 2005 08:53:41 +0200 | nipkow | simp_depth now starts at -1 to make it start at 0 ;-) | changeset | files |
| Sat, 11 Jun 2005 23:24:33 +0200 | wenzelm | added ML-Systems/polyml-posix.ML; | changeset | files |
| Sat, 11 Jun 2005 23:19:36 +0200 | wenzelm | pass ml_platform; | changeset | files |
| Sat, 11 Jun 2005 23:18:06 +0200 | wenzelm | Posix patches (from polyml.ML); | changeset | files |
| Sat, 11 Jun 2005 23:17:28 +0200 | wenzelm | some cygwin support; | changeset | files |
| Sat, 11 Jun 2005 22:15:58 +0200 | wenzelm | * Pure/sign/theory: discontinued named name spaces; | changeset | files |
| Sat, 11 Jun 2005 22:15:57 +0200 | wenzelm | renamed hide_space to hide_names; | changeset | files |