2009-07-21 | Christian Urban | tuned | changeset | files |
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 |
2009-06-04 | Christian Urban | minor tuning | changeset | files |
2009-05-30 | Christian Urban | slightly modified index generation | changeset | files |
2009-05-30 | Christian Urban | corrected index references and minor polishing | changeset | files |
2009-05-30 | Christian Urban | added some first index-information | changeset | files |
2009-05-30 | Christian Urban | added infrastructure for index; antiquotations have now the options [index] and [indexc] | changeset | files |
Loading... |