| Thu, 23 Sep 2010 14:50:14 +0200 | bulwahn | handling equivalences smarter in the predicate compiler | changeset | files |
| Thu, 23 Sep 2010 14:50:14 +0200 | bulwahn | removing duplicate rewrite rule from simpset in predicate compiler | changeset | files |
| Thu, 23 Sep 2010 14:50:13 +0200 | bulwahn | rewriting function mk_Eval_of in predicate compiler | changeset | files |
| Thu, 23 Sep 2010 10:39:25 +0200 | haftmann | merged | changeset | files |
| Thu, 23 Sep 2010 10:37:28 +0200 | haftmann | improved and tuned external codegen tool | changeset | files |
| Thu, 23 Sep 2010 10:34:01 +0200 | blanchet | make SML/NJ happy | changeset | files |
| Thu, 23 Sep 2010 09:53:52 +0200 | haftmann | CONTRIBUTORS and NEWS | changeset | files |
| Thu, 23 Sep 2010 08:30:33 +0200 | haftmann | corrections and tuning | changeset | files |
| Wed, 22 Sep 2010 18:40:35 +0200 | haftmann | merged | changeset | files |
| Wed, 22 Sep 2010 18:40:23 +0200 | haftmann | merged | changeset | files |
| Wed, 22 Sep 2010 17:11:27 +0200 | haftmann | merged | changeset | files |
| Wed, 22 Sep 2010 12:22:47 +0200 | haftmann | tuned | changeset | files |
| Fri, 24 Sep 2010 14:47:01 +0200 | wenzelm | persistent session-panel.selection; | changeset | files |
| Fri, 24 Sep 2010 14:14:21 +0200 | wenzelm | slightly more robust EditBus plumbing wrt. Document_View/Document_Model; | changeset | files |
| Fri, 24 Sep 2010 14:12:33 +0200 | wenzelm | permissive exit; | changeset | files |
| Fri, 24 Sep 2010 00:00:21 +0200 | wenzelm | added Session_Dockable.session_phase label; | changeset | files |