| Wed, 08 Apr 2015 22:15:03 +0200 | wenzelm | merged | changeset | files |
| Wed, 08 Apr 2015 21:49:45 +0200 | wenzelm | eliminated suspicious Unicode character; | changeset | files |
| Wed, 08 Apr 2015 21:48:59 +0200 | wenzelm | eliminated hard tabs; | changeset | files |
| Wed, 08 Apr 2015 21:42:08 +0200 | wenzelm | more standard access to goal state; | changeset | files |
| Wed, 08 Apr 2015 21:24:27 +0200 | wenzelm | more standard Isabelle/ML tool setup; | changeset | files |
| Wed, 08 Apr 2015 21:08:26 +0200 | wenzelm | added symbol for \<hole> (from DejaVuSansMono and DejaVuSansMono-Bold version 2.34); | changeset | files |
| Wed, 08 Apr 2015 20:41:56 +0200 | wenzelm | proper test for session HOL-Library; | changeset | files |