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 |
Sat, 14 Apr 2012 15:46:19 +0200 | wenzelm | chmod +x; | changeset | files |