| Sun, 06 Apr 2014 17:18:57 +0200 | nipkow | made field_simps "more complete" | changeset | files |
| Sun, 06 Apr 2014 17:09:32 +0200 | wenzelm | shell functions for all Isabelle executables; | changeset | files |
| Sun, 06 Apr 2014 16:59:41 +0200 | wenzelm | renamed "isabelle-process" to "isabelle_process", with shell function to avoid dynamic path lookups; | changeset | files |
| Sun, 06 Apr 2014 16:36:28 +0200 | wenzelm | more source positions; | changeset | files |