| Sun, 18 May 2008 17:03:26 +0200 | wenzelm | unparse_term: check PureThy.old_appl_syntax instead of CPure; | changeset | files |
| Sun, 18 May 2008 17:03:24 +0200 | wenzelm | theory Pure provides regular application syntax by default; | changeset | files |
| Sun, 18 May 2008 17:03:23 +0200 | wenzelm | converted to regular application syntax; | changeset | files |
| Sun, 18 May 2008 17:03:20 +0200 | wenzelm | eliminated theory CPure; | changeset | files |
| Sun, 18 May 2008 17:03:16 +0200 | wenzelm | setup PureThy.old_appl_syntax_setup -- theory Pure provides regular application syntax by default; | changeset | files |
| Sun, 18 May 2008 17:03:14 +0200 | wenzelm | * Eliminated theory ProtoPure and CPure, leaving just one Pure theory. | changeset | files |
| Sun, 18 May 2008 16:19:48 +0200 | urbanc | proper handling of the return code for the ps-format (fixes a bug) | changeset | files |