2009-07-20 | Christian Urban | small changes for latest changes in Isabelle | changeset | files |
2009-07-14 | Christian Urban | minor tuning | changeset | files |
2009-07-13 | Christian Urban | added section about code maintenance and added an example for antiquotations | changeset | files |
2009-06-24 | Christian Urban | adapted to changes in Isabelle | changeset | files |
2009-06-23 | Christian Urban | updated to new Isabelle | changeset | files |
2009-06-05 | Christian Urban | updated to lates Isabelle changes | changeset | files |
Loading... |