| Fri, 21 Apr 2017 18:57:30 +0200 |
wenzelm |
afford unconditional all_known = true (reverting ea42dfd95ec8), for practical usability of qualified imports from arbitrary sessions;
|
changeset |
files
|
| Fri, 21 Apr 2017 18:51:24 +0200 |
wenzelm |
proper imports_resources for import_name: avoid self-referential name resolution;
|
changeset |
files
|
| Fri, 21 Apr 2017 17:34:13 +0200 |
wenzelm |
more precise position information;
|
changeset |
files
|
| Fri, 21 Apr 2017 16:48:58 +0200 |
wenzelm |
tuned imports;
|
changeset |
files
|
| Fri, 21 Apr 2017 16:48:12 +0200 |
wenzelm |
proper "~~" backup as documented;
|
changeset |
files
|
| Fri, 21 Apr 2017 16:45:32 +0200 |
wenzelm |
clarified: explicit check of result;
|
changeset |
files
|
| Fri, 21 Apr 2017 16:12:11 +0200 |
wenzelm |
clarified imports;
|
changeset |
files
|
| Fri, 21 Apr 2017 15:26:24 +0200 |
wenzelm |
clarified local_theories: exclude ancestor sessions;
|
changeset |
files
|
| Fri, 21 Apr 2017 15:00:31 +0200 |
wenzelm |
more standard master_dir;
|
changeset |
files
|
| Fri, 21 Apr 2017 14:09:03 +0200 |
wenzelm |
eliminated default_qualifier: just a constant;
|
changeset |
files
|
| Fri, 21 Apr 2017 13:51:43 +0200 |
wenzelm |
more uniform isabelle_scala;
|
changeset |
files
|
| Fri, 21 Apr 2017 11:38:45 +0200 |
wenzelm |
include imports that morally belong to Main and are used in HOL-Proofs applications;
|
changeset |
files
|
| Fri, 21 Apr 2017 11:21:59 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 21 Apr 2017 10:59:07 +0200 |
wenzelm |
proper theory_qualifier;
|
changeset |
files
|
| Thu, 20 Apr 2017 17:50:31 +0200 |
wenzelm |
more global theories;
|
changeset |
files
|