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 |
Mon, 11 Jan 2010 22:31:27 +0100 | wenzelm | merged with converted/relocated copy of http://isabelle.in.tum.de/repos/isabelle-jedit/rev/93d884afa74b | changeset | files |