| Mon, 11 Jan 2010 16:45:02 +0100 | haftmann | tuned code equations | changeset | files |
| Mon, 11 Jan 2010 11:47:38 +0100 | hoelzl | Matrices form a semiring with 0 | changeset | files |
| Mon, 11 Jan 2010 23:00:05 +0100 | wenzelm | incorporate "proofdocument" part into main Isabelle/Pure.jar -- except for html_panel.scala, which depends on external library (Lobo/Cobra browser); | changeset | files |
| Mon, 11 Jan 2010 22:44:21 +0100 | wenzelm | ignore some src/Tools/jEdit stuff; | changeset | files |