| Sat, 28 Aug 2010 15:25:32 +0200 | wenzelm | non-critical output primitives -- depending on thread-safe TextIO, while races wrt. flushing should not matter; | changeset | files |
| Fri, 27 Aug 2010 22:30:25 +0200 | wenzelm | modernized specifications; | changeset | files |
| Fri, 27 Aug 2010 22:09:51 +0200 | wenzelm | discontinued separate Pure-ProofGeneral keywords session -- protocol commands are already defined in Pure; | changeset | files |