| Mon, 04 Aug 2008 19:25:59 +0200 | wenzelm | replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/ | changeset | files |
| Mon, 04 Aug 2008 18:57:35 +0200 | berghofe | Quoted terms in consts_code declarations are now preprocessed as well. | changeset | files |
| Mon, 04 Aug 2008 18:56:55 +0200 | berghofe | Exported eval_wrapper. | changeset | files |
| Mon, 04 Aug 2008 18:56:22 +0200 | berghofe | - corrected bogus comment for function inst_conj_all | changeset | files |
| Mon, 04 Aug 2008 18:24:27 +0200 | krauss | removed dead code | changeset | files |
| Mon, 04 Aug 2008 17:13:34 +0200 | wenzelm | simplified prepare_command; | changeset | files |
| Mon, 04 Aug 2008 17:13:33 +0200 | wenzelm | Isar.command: explicitly set transaction position, as required for prepare_command errors; | changeset | files |
| Mon, 04 Aug 2008 10:37:33 +0200 | ballarin | Updated locale tests. | changeset | files |