| 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 |
| Thu, 20 Apr 2017 17:45:42 +0200 | wenzelm | actual update_imports operations; | changeset | files |
| Thu, 20 Apr 2017 17:34:31 +0200 | wenzelm | more operations; | changeset | files |
| Thu, 20 Apr 2017 15:00:32 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 20 Apr 2017 14:59:57 +0200 | wenzelm | more operations; | changeset | files |
| Thu, 20 Apr 2017 11:38:42 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 20 Apr 2017 11:33:36 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Thu, 20 Apr 2017 10:35:00 +0200 | wenzelm | clarified; | changeset | files |
| Thu, 20 Apr 2017 10:30:30 +0200 | wenzelm | store Sessions.Info.name; | changeset | files |
| Wed, 19 Apr 2017 21:32:46 +0200 | wenzelm | wrapper for "isabelle update_imports" with selection options like "isabelle build"; | changeset | files |
| Wed, 19 Apr 2017 20:10:34 +0200 | wenzelm | more position information; | changeset | files |
| Thu, 20 Apr 2017 16:21:29 +0200 | blanchet | removed French accent from docs | changeset | files |
| Thu, 20 Apr 2017 16:21:28 +0200 | blanchet | removed Old_SMT legacy module | changeset | files |
| Thu, 20 Apr 2017 10:45:52 +0200 | nipkow | typo | changeset | files |
| Wed, 19 Apr 2017 16:26:09 +0200 | wenzelm | tuned imports; | changeset | files |
| Wed, 19 Apr 2017 16:25:26 +0200 | wenzelm | always explore all sessions; | changeset | files |