2010-06-02 | Christian Urban | tuned | file | diff | annotate |
2010-06-02 | Christian Urban | added something about raw_tactic | file | diff | annotate |
2010-05-17 | Christian Urban | updated to new Isabelle | file | diff | annotate |
2010-04-26 | Christian Urban | updated to new Isabelle | file | diff | annotate |
2010-03-07 | Christian Urban | updated to new isabelle | file | diff | annotate |
2010-02-05 | Christian Urban | updated to new Isabelle | file | diff | annotate |
2009-12-31 | Christian Urban | updated to new Isabelle | file | diff | annotate |
2009-12-06 | Christian Urban | polised | file | diff | annotate |
2009-12-04 | Christian Urban | polised the section about Subgoal.FOCUS | file | diff | annotate |
2009-12-03 | Christian Urban | tuned | file | diff | annotate |
2009-12-02 | Christian Urban | tunded | file | diff | annotate |
2009-12-02 | Christian Urban | implemented suggestion from Sascha | file | diff | annotate |