| Wed, 21 Jul 2010 13:55:44 +0200 | wenzelm | thy_deps: more direct comparison of sessions, which is presumably what "unfold" is meant to indicate here -- also avoid referring to accidental theory loader state; | changeset | files |
| Wed, 21 Jul 2010 13:25:14 +0200 | wenzelm | clarified/exported Future.worker_subgroup, which is already the default for Future.fork; | changeset | files |
| Tue, 20 Jul 2010 23:16:21 +0200 | wenzelm | qualified Thy_Info.get_theory; | changeset | files |
| Tue, 20 Jul 2010 23:09:49 +0200 | wenzelm | discontinued pervasive val theory = Thy_Info.get_theory -- prefer antiquotations in most situations; | changeset | files |
| Tue, 20 Jul 2010 22:03:37 +0200 | wenzelm | further Mac OS X deviations; | changeset | files |
| Tue, 20 Jul 2010 21:57:26 +0200 | wenzelm | warning in proper transaction context; | changeset | files |
| Tue, 20 Jul 2010 21:49:39 +0200 | wenzelm | SML/NJ: refrain from modifying toplevel pp for type string -- unclear if it could work here; | changeset | files |