| Mon, 17 Apr 2017 21:26:23 +0200 | wenzelm | clarified: Map index uses canonical files; | changeset | files |
| Mon, 17 Apr 2017 21:00:38 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 17 Apr 2017 20:54:48 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 17 Apr 2017 20:33:18 +0200 | wenzelm | uniform use of theory base name for presentation; | changeset | files |
| Mon, 17 Apr 2017 20:12:20 +0200 | wenzelm | proper imports_base, notably for thy_deps; | changeset | files |
| Mon, 17 Apr 2017 19:44:13 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 17 Apr 2017 16:13:14 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 17 Apr 2017 15:23:51 +0200 | wenzelm | tuned GUI; | changeset | files |
| Mon, 17 Apr 2017 15:08:49 +0200 | wenzelm | obsolete; | changeset | files |
| Mon, 17 Apr 2017 15:08:21 +0200 | wenzelm | more uniform thy_deps (like class_deps), see also c48d536231fe; | changeset | files |
| Mon, 17 Apr 2017 13:14:01 +0200 | wenzelm | special theories are always global; | changeset | files |
| Mon, 17 Apr 2017 12:29:50 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 17 Apr 2017 12:20:45 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 17 Apr 2017 12:11:02 +0200 | wenzelm | tuned signature; | changeset | files |