| Wed, 05 Sep 2012 19:51:00 +0200 | wenzelm | discontinued obsolete fork_mono to loosen some brakes -- NB: TTY interaction has Goal.future_proofs disabled due to missing Future.worker_task; | changeset | files |
| Wed, 05 Sep 2012 19:58:09 +0200 | blanchet | honor mixfix specifications | changeset | files |
| Wed, 05 Sep 2012 19:57:50 +0200 | blanchet | code indentation | changeset | files |
| Wed, 05 Sep 2012 16:17:53 +0200 | blanchet | print timing information | changeset | files |
| Wed, 05 Sep 2012 16:07:39 +0200 | blanchet | adapted example | changeset | files |
| Wed, 05 Sep 2012 16:00:53 +0200 | blanchet | check type variables on rhs | changeset | files |
| Wed, 05 Sep 2012 17:12:40 +0200 | wenzelm | proper subsexp projection of Isabelle_Markup.Path, in correspondence to 5d0cd770828e; | changeset | files |