| Tue, 24 Mar 2009 22:55:49 +0100 | wenzelm | status_of: simultaneous list; | changeset | files |
| Tue, 24 Mar 2009 21:24:53 +0100 | wenzelm | display derivation status of thms; | changeset | files |
| Tue, 24 Mar 2009 19:37:50 +0100 | wenzelm | recover old ids; | changeset | files |
| Tue, 24 Mar 2009 18:21:58 +0100 | wenzelm | report ML typing; | changeset | files |
| Tue, 24 Mar 2009 16:11:42 +0100 | wenzelm | merged | changeset | files |
| Tue, 24 Mar 2009 14:09:24 +0100 | nipkow | merged | changeset | files |
| Tue, 24 Mar 2009 14:08:13 +0100 | nipkow | NEWS: [arith] | changeset | files |
| Tue, 24 Mar 2009 16:11:09 +0100 | wenzelm | get_index: produce index of next pending token, not the last one; | changeset | files |
| Tue, 24 Mar 2009 15:47:55 +0100 | wenzelm | register token positions persistently with context; | changeset | files |
| Tue, 24 Mar 2009 15:43:37 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 24 Mar 2009 15:43:13 +0100 | wenzelm | more markup elements for ML programs; | changeset | files |
| Tue, 24 Mar 2009 13:20:40 +0100 | wenzelm | merged | changeset | files |