| Thu, 05 Jul 2012 17:31:13 +0200 | blanchet | make SML/NJ happy + tuning | changeset | files |
| Thu, 05 Jul 2012 16:30:50 +0200 | blanchet | tune type arg handling | changeset | files |
| Thu, 05 Jul 2012 16:15:52 +0200 | blanchet | tuning | changeset | files |
| Thu, 05 Jul 2012 16:07:15 +0200 | blanchet | fiddled with "tags_at" a bit -- the only non-tuning part of the change is a slight simplification of the typing axioms | changeset | files |
| Thu, 05 Jul 2012 16:07:15 +0200 | blanchet | remove needless type arguments to "tags_at" encoding | changeset | files |
| Thu, 05 Jul 2012 22:12:42 +0200 | wenzelm | removed obsolete psbooklet; | changeset | files |
| Thu, 05 Jul 2012 22:12:03 +0200 | wenzelm | more directory structure; | changeset | files |