| Tue, 21 Aug 2007 20:05:40 +0200 | wenzelm | ProofContext.restore_mode; | changeset | files |
| Tue, 21 Aug 2007 20:05:38 +0200 | wenzelm | added inner syntax mode, includes former type_mode and is_stmt; | changeset | files |
| Tue, 21 Aug 2007 18:30:11 +0200 | paulson | Modified message for sendback | changeset | files |