| Sat, 27 Jul 2013 22:44:04 +0200 | wenzelm | more uniform cleanup; | changeset | files |
| Sat, 27 Jul 2013 22:38:06 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 27 Jul 2013 22:20:25 +0200 | wenzelm | discontinued historic document formats; | changeset | files |
| Sat, 27 Jul 2013 22:16:04 +0200 | wenzelm | avoid predefined symbols -- allow editing with Isabelle/jEdit in isabelle-news mode; | changeset | files |
| Sat, 27 Jul 2013 21:50:30 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 27 Jul 2013 21:43:12 +0200 | wenzelm | discontinued ISABELLE_DOC_FORMAT; | changeset | files |
| Sat, 27 Jul 2013 21:21:47 +0200 | wenzelm | more direct inclusion of tikz pictures; | changeset | files |
| Sat, 27 Jul 2013 21:10:18 +0200 | wenzelm | obsolete; | changeset | files |