| Sun, 11 Jan 2009 12:05:50 -0800 | huffman | new theory of polynomials | changeset | files |
| Sun, 11 Jan 2009 21:49:59 +0100 | wenzelm | tuned categories; | changeset | files |
| Sun, 11 Jan 2009 20:40:09 +0100 | wenzelm | added outer_keyword.scala: Isar command keyword classification; | changeset | files |
| Sun, 11 Jan 2009 18:18:35 +0100 | wenzelm | added Goal.future_enabled abstraction -- now also checks that this is already | changeset | files |
| Sun, 11 Jan 2009 17:34:02 +0100 | wenzelm | load main entry points sequentially, for reduced memory demands; | changeset | files |
| Sun, 11 Jan 2009 16:56:59 +0100 | wenzelm | merged | changeset | files |
| Sun, 11 Jan 2009 14:23:54 +0100 | wenzelm | merged | changeset | files |
| Sun, 11 Jan 2009 16:41:48 +0100 | wenzelm | less ambitious ML_OPTIONS; | changeset | files |
| Sun, 11 Jan 2009 14:22:34 +0100 | wenzelm | merged | changeset | files |
| Sun, 11 Jan 2009 14:18:32 +0100 | haftmann | merged | changeset | files |
| Sun, 11 Jan 2009 14:18:17 +0100 | haftmann | explicit bookkeeping of intro rules and axiom | changeset | files |
| Sun, 11 Jan 2009 14:18:16 +0100 | haftmann | stripped Id | changeset | files |