Mon, 26 Mar 2012 18:54:41 +0200 | nipkow | Functions and lemmas by Christian Sternagel | changeset | files |
Mon, 26 Mar 2012 20:42:00 +0200 | wenzelm | more precise treatment of \r\n as blank symbol (cf. 2bf29095d26f), e.g. relevant for loading theory headers in Isabelle/jEdit -- NB: jEdit and Isabelle/ML normalize newline variants to \n, but Isabelle/Scala retains them literally; | changeset | files |
Mon, 26 Mar 2012 19:18:03 +0200 | wenzelm | disabled HOL-Proofs-Lambda temporarily, which causes problems with 2a1953f0d20d; | changeset | files |