IsaMakefile
2013-02-10 Christian Urban changed theory names to uppercase
2013-01-23 Christian Urban updated
2013-01-18 Christian Urban updated to ITP and updated directories
2012-12-26 Christian Urban updated
2012-12-26 Christian Urban added
2012-12-24 Christian Urban initial setup
less more (0) tip