| Tue, 12 Mar 2013 18:44:48 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 12 Mar 2013 18:30:28 +0100 | wenzelm | more accurate theory links; | changeset | files |
| Tue, 12 Mar 2013 16:47:24 +0100 | wenzelm | discontinued "isabelle usedir" option -r (reset session path); | changeset | files |