#
a45adef6 |
|
31-Oct-2020 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
all: remove theory import path references In Isabelle2020, when isabelle jedit is started without a session context, e.g. `isabelle jedit -l ASpec`, theory imports with path references cause the isabelle process to hang. Since sessions now declare directories, Isabelle can find those files without path reference and we therefore remove all such path references from import statements. With this, `jedit` and `build` should work with and without explicit session context as before. Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
|
#
f757e0ca |
|
06-May-2019 |
Corey Lewis <corey.lewis@data61.csiro.au> |
lib: wp cleanup and parser improvements The main visible change is from wp_trace', 'wp_once' and 'wp_once_trace' to 'wp (trace)', 'wp (once)' and 'wp (once, trace)'. The option for printing a warning for unused supplied wp rules has also been removed.
|