Tue, 12 Mar 2013 20:03:04 +0100 | wenzelm | include session description in chapter index; | changeset | files |
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 |
Mon, 11 Mar 2013 14:25:14 +0100 | wenzelm | discontinued "isabelle usedir" option -P (remote path); | changeset | files |
Mon, 11 Mar 2013 13:28:46 +0100 | wenzelm | support for 'chapter' specifications within session ROOT; | changeset | files |
Tue, 12 Mar 2013 19:55:17 +0100 | nipkow | added latex markup | changeset | files |