| Mon, 30 Jul 2012 17:07:23 +0200 | wenzelm | removed obsolete IsaMakefile + ROOT.ML setup -- doc-src is managed via isabelle build; | changeset | files |
| Mon, 30 Jul 2012 17:03:24 +0200 | wenzelm | removed some old material (inactive since 2002/2003); | changeset | files |
| Mon, 30 Jul 2012 16:40:21 +0200 | wenzelm | updated isatest to isabelle build, which also includes doc-src sessions; | changeset | files |
| Mon, 30 Jul 2012 16:03:25 +0200 | wenzelm | obsolete; | changeset | files |
| Mon, 30 Jul 2012 15:54:17 +0200 | wenzelm | makedist -D retains doc-src component with its "doc" sessions (relevant for testing); | changeset | files |
| Mon, 30 Jul 2012 15:31:00 +0200 | wenzelm | allow negative int values as well, according to real = int | float; | changeset | files |
| Mon, 30 Jul 2012 14:38:45 +0200 | wenzelm | misc tuning; | changeset | files |