| Sun, 06 Apr 2014 19:16:34 +0200 | wenzelm | removed abbrev "<-" again (see c771f0fe28d1) due to conflict with important "<->" and "<-->"; | changeset | files |
| Sun, 06 Apr 2014 17:19:08 +0200 | nipkow | merged | changeset | files |
| 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 |
| Sun, 06 Apr 2014 15:51:02 +0200 | wenzelm | clarified position: no offset here; | changeset | files |