| Thu, 19 May 2011 10:24:13 +0200 | blanchet | mention version 0.6 of Vampire, since that's what's currently available for download | changeset | files |
| Thu, 19 May 2011 10:24:13 +0200 | blanchet | better error reporting: detect missing E proofs and remove Vampire native format error | changeset | files |
| Wed, 18 May 2011 15:45:34 +0200 | bulwahn | NEWS | changeset | files |
| Wed, 18 May 2011 15:45:33 +0200 | bulwahn | adding Code_Char_ord to code generation regression tests | changeset | files |
| Wed, 18 May 2011 15:45:33 +0200 | bulwahn | adding theory to force code generation of ordering on characters to built-in ordering of characters in target languages | changeset | files |
| Fri, 20 May 2011 14:03:42 +0200 | wenzelm | removed some obsolete text; | changeset | files |
| Wed, 18 May 2011 23:39:22 +0200 | wenzelm | basic support for overpainting of text, imitating jEdit internals; | changeset | files |
| Tue, 17 May 2011 22:29:55 +0200 | wenzelm | some support for token/chunk handling, imitating jEdit internals; | changeset | files |