| Sun, 11 Jan 2009 21:50:05 +0100 | wenzelm | merged | changeset | files |
| 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 |