IsaMakefile
2011-05-18 urbanc added directory for journal version; took uptodate version of the theory files
2011-02-07 urbanc added an option fullpaper to IsaMakefile
2011-02-04 urbanc more on the introduction
less more (0) -3 tip