IsaMakefile
2010-03-17 Christian Urban paper uses now a heap file - does not compile so long anymore
2010-03-17 Christian Urban made paper to compile
2010-02-25 Christian Urban added IsaMakefile...but so far included only a test for the parser
2009-12-19 Christian Urban with "isabelle make keywords" you can create automatically a "quot" keywordfile, provided all Logics are in place
2009-12-16 Christian Urban complete fix for IsaMakefile
2009-12-16 Christian Urban first fix
2009-12-16 Christian Urban added a paper for possible notes
2009-12-07 Christian Urban isabelle make tests all examples
2009-12-07 Christian Urban added "end" to each example theory
2009-12-07 Christian Urban directory re-arrangement
less more (0) tip