| 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 |
| Wed, 08 Apr 2015 20:14:18 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 08 Apr 2015 19:58:52 +0200 | wenzelm | tuned signature; | changeset | files |