| Wed, 25 May 2011 22:21:38 +0200 | wenzelm | rearranged some sections; | changeset | files |
| Wed, 25 May 2011 22:12:46 +0200 | wenzelm | updated and re-unified HOL typedef, with some live examples; | changeset | files |
| Sat, 21 May 2011 11:31:59 +0200 | wenzelm | optional jedit_build/etc/user-settings enable to override defaults produced by late component initialization; | changeset | files |