IsaMakefile
2012-10-04 Christian Urban removed fork_mono flag
2012-06-11 Christian Urban added CPS files to test (not all proofs have been completed)
2012-05-22 Cezary Kaliszyk Executing Lambda Terms
2012-05-12 Christian Urban cleaned the repository for Nominal2-Isabelle2012 Nominal2-Isabelle2012
2012-03-05 Christian Urban updated tutorial to latest version and added it to the tests
2012-02-17 Christian Urban added fs and pt for multisets
2012-01-24 Christian Urban tuned make-file
2012-01-24 Christian Urban made all papers work again
2012-01-24 Christian Urban added a session entry in order to quickly build the heap file (tests took too long)
2011-12-20 Cezary Kaliszyk Added an initial version of qpaper-jv and a TODO of things to write about.
2011-12-17 Christian Urban cleaned all papers from the stable branch Nominal2-Isabelle2011-1
2011-11-26 Christian Urban slides for talk in Leicester
less more (0) -12 tip