Fri, 21 Apr 2017 16:48:12 +0200 | wenzelm | proper "~~" backup as documented; | file | diff | annotate |
Fri, 21 Apr 2017 16:45:32 +0200 | wenzelm | clarified: explicit check of result; | file | diff | annotate |
Fri, 21 Apr 2017 15:26:24 +0200 | wenzelm | clarified local_theories: exclude ancestor sessions; | file | diff | annotate |
Fri, 21 Apr 2017 15:00:31 +0200 | wenzelm | more standard master_dir; | file | diff | annotate |
Fri, 21 Apr 2017 14:09:03 +0200 | wenzelm | eliminated default_qualifier: just a constant; | file | diff | annotate |
Thu, 20 Apr 2017 17:45:42 +0200 | wenzelm | actual update_imports operations; | file | diff | annotate |
Wed, 19 Apr 2017 21:32:46 +0200 | wenzelm | wrapper for "isabelle update_imports" with selection options like "isabelle build"; | file | diff | annotate |