Fri, 01 Jul 2011 13:54:23 +0200 | noschinl | reverted ce00462f,b3759dce, 7a165592: unwanted generalisation | changeset | files |
Fri, 01 Jul 2011 11:26:02 +0200 | bulwahn | improving actual dependencies | changeset | files |
Fri, 01 Jul 2011 10:45:51 +0200 | bulwahn | adding a minimalistic documentation of the value antiquotation in the Isar reference manual | changeset | files |