| Sat, 14 Apr 2012 19:29:31 +0200 | krauss | removed HOL/ex/Set_Algebras -- outdated clone, obsolete as example | changeset | files |
| Sat, 14 Apr 2012 15:08:59 +0100 | sultana | aligned tptp_graph dependencies to Isabelle conventions; | changeset | files |
| Sat, 14 Apr 2012 20:10:10 +0200 | wenzelm | more ambitious isatest settings using polyml-svn (e.g. 1487); | changeset | files |
| Sat, 14 Apr 2012 19:09:34 +0200 | wenzelm | use official TextArea.isCaretVisible and thus follow the "blink" flag; | changeset | files |
| Sat, 14 Apr 2012 18:28:11 +0200 | wenzelm | display more memory; | changeset | files |
| Sat, 14 Apr 2012 17:26:08 +0200 | wenzelm | keyword ";" is declared via prover (as "minor", not "diag"); | changeset | files |
| Sat, 14 Apr 2012 17:15:57 +0200 | wenzelm | outermost SELECT_GOAL potentially improves performance; | changeset | files |
| Sat, 14 Apr 2012 16:40:17 +0200 | wenzelm | report ISABELLE_HOME_WINDOWS; | changeset | files |