| 2016-08-05 | wenzelm | tuned; | changeset | files |
| 2016-08-05 | wenzelm | tuned; | changeset | files |
| 2016-08-05 | wenzelm | merged | changeset | files |
| 2016-08-05 | wenzelm | misc tuning and modernization; | changeset | files |
| 2016-08-05 | wenzelm | tuned whitespace; | changeset | files |
| 2016-08-05 | wenzelm | Sidekick parser for isabelle-ml and sml mode; | changeset | files |
| 2016-08-04 | wenzelm | prefer hardwired "nothing"; | changeset | files |
| 2016-08-04 | wenzelm | NEWS; | changeset | files |
| 2016-08-04 | wenzelm | clarified handling of plain theory commands; | changeset | files |
| 2016-08-04 | wenzelm | support for context block structure in Sidekick; | changeset | files |
| 2016-08-04 | wenzelm | tuned; | changeset | files |
| 2016-08-04 | wenzelm | clarified modules; | changeset | files |
| Loading... | |||