IsaMakefile
Sat, 03 Apr 2010 21:53:04 +0200 Christian Urban merged pearl paper with this repository; started litrature subdirectory
Wed, 17 Mar 2010 20:42:22 +0100 Christian Urban paper uses now a heap file - does not compile so long anymore
Wed, 17 Mar 2010 15:13:31 +0100 Christian Urban made paper to compile
less more (0) -3 tip