| Fri, 17 Sep 2010 20:42:26 +0200 | wenzelm | simplified some internal flags using Config.T instead of full-blown Proof_Data; | changeset | files |
| Fri, 17 Sep 2010 20:18:27 +0200 | wenzelm | tuned signature of (Context_)Position.report variants; | changeset | files |
| Fri, 17 Sep 2010 17:31:20 +0200 | wenzelm | merged | changeset | files |
| Fri, 17 Sep 2010 16:38:11 +0200 | blanchet | merged | changeset | files |
| Fri, 17 Sep 2010 01:59:43 +0200 | blanchet | update README | changeset | files |
| Fri, 17 Sep 2010 01:59:30 +0200 | blanchet | regenerate "metis.ML" | changeset | files |
| Fri, 17 Sep 2010 01:58:21 +0200 | blanchet | fix license | changeset | files |