| Wed, 08 Jun 2016 11:33:56 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 07 Jun 2016 19:57:41 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 07 Jun 2016 19:55:45 +0200 |
wenzelm |
clean facts more uniformly;
|
file |
diff |
annotate
|
| Tue, 07 Jun 2016 15:44:18 +0200 |
wenzelm |
expode method_facts via dynamic method context;
|
file |
diff |
annotate
|
| Thu, 12 May 2016 22:06:18 +0200 |
wenzelm |
common entity definitions within a global or local theory context;
|
file |
diff |
annotate
|
| Wed, 13 Apr 2016 18:01:05 +0200 |
wenzelm |
eliminated "xname" and variants;
|
file |
diff |
annotate
|
| Wed, 06 Apr 2016 16:33:33 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2016 17:14:27 +0200 |
wenzelm |
removed redundant Position.set_range -- already done in Position.range;
|
file |
diff |
annotate
|
| Wed, 23 Dec 2015 14:40:18 +0100 |
wenzelm |
check and report source at most once, notably in body of "match" method;
|
file |
diff |
annotate
|
| Mon, 14 Dec 2015 10:14:19 +0100 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Sun, 13 Dec 2015 21:56:15 +0100 |
wenzelm |
more general types Proof.method / context_tactic;
|
file |
diff |
annotate
|
| Fri, 11 Dec 2015 13:44:20 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Wed, 09 Dec 2015 16:36:26 +0100 |
wenzelm |
clarified type Token.src: plain token list, with usual implicit value assignment;
|
file |
diff |
annotate
|
| Tue, 08 Dec 2015 11:28:57 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 18 Oct 2015 21:30:01 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 25 Sep 2015 20:37:59 +0200 |
wenzelm |
moved remaining display.ML to more_thm.ML;
|
file |
diff |
annotate
|
| Sun, 13 Sep 2015 20:20:16 +0200 |
wenzelm |
renamed method "goals" to "goal_cases" to emphasize its meaning;
|
file |
diff |
annotate
|
| Sun, 13 Sep 2015 14:44:03 +0200 |
wenzelm |
method "goals" ignores facts;
|
file |
diff |
annotate
|
| Sun, 30 Aug 2015 13:08:00 +0200 |
wenzelm |
trim context for persistent storage;
|
file |
diff |
annotate
|
| Tue, 30 Jun 2015 15:20:56 +0200 |
wenzelm |
renamed "default" to "standard", to make semantically clear what it is;
|
file |
diff |
annotate
|
| Mon, 29 Jun 2015 19:27:07 +0200 |
wenzelm |
clarified static phase;
|
file |
diff |
annotate
|
| Thu, 25 Jun 2015 21:45:00 +0200 |
wenzelm |
added method "goals" for proper subgoal cases;
|
file |
diff |
annotate
|
| Mon, 22 Jun 2015 19:22:48 +0200 |
wenzelm |
added method "sleep";
|
file |
diff |
annotate
|
| Mon, 22 Jun 2015 18:55:47 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 01 May 2015 14:35:13 +0200 |
wenzelm |
clarified markup range;
|
file |
diff |
annotate
|
| Fri, 01 May 2015 13:58:06 +0200 |
wenzelm |
modifier markup for all parsed tokens;
|
file |
diff |
annotate
|
| Thu, 09 Apr 2015 13:57:37 +0200 |
wenzelm |
option for old section parser (before 2137e60b6f6d) for the sake of Eisbach;
|
file |
diff |
annotate
|
| Thu, 09 Apr 2015 11:28:00 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 08 Apr 2015 11:52:53 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 03 Apr 2015 19:56:51 +0200 |
wenzelm |
more uniform "verbose" option to print name space;
|
file |
diff |
annotate
|