Fri, 27 Jun 2014 16:04:56 +0200 | wenzelm | command 'print_term_bindings' supersedes 'print_binds'; | changeset | files |
Fri, 27 Jun 2014 15:41:26 +0200 | wenzelm | Proof General legacy; | changeset | files |
Fri, 27 Jun 2014 15:30:57 +0200 | wenzelm | removed obsolete "isabelle unsymbolize"; | changeset | files |