| Fri, 04 Jan 2013 19:00:49 +0100 | blanchet | speed up nickname generation for local facts | changeset | files |
| Fri, 04 Jan 2013 19:00:49 +0100 | blanchet | updated docs | changeset | files |
| Fri, 04 Jan 2013 19:00:49 +0100 | blanchet | renamed "kill" subcommand to avoid clash with "kill" keyword (which confuses Proof General and results in strange syntax highlighting) | changeset | files |
| Fri, 04 Jan 2013 19:00:49 +0100 | blanchet | tweaked fudge factor | changeset | files |
| Fri, 04 Jan 2013 13:03:21 +0100 | wenzelm | more NEWS; | changeset | files |
| Fri, 04 Jan 2013 12:44:47 +0100 | wenzelm | document 'locale_deps'; | changeset | files |
| Fri, 04 Jan 2013 12:33:25 +0100 | wenzelm | prefer old graph browser in Isabelle/jEdit, which still produces better layout; | changeset | files |