| Thu, 13 Mar 2014 08:56:08 +0100 |
haftmann |
dropped redundant theorems
|
file |
diff |
annotate
|
| Thu, 13 Mar 2014 07:07:07 +0100 |
nipkow |
enhanced simplifier solver for preconditions of rewrite rule, can now deal with conjunctions
|
file |
diff |
annotate
|
| Wed, 12 Mar 2014 22:57:50 +0100 |
wenzelm |
tuned signature -- clarified module name;
|
file |
diff |
annotate
|
| Wed, 12 Mar 2014 22:44:55 +0100 |
wenzelm |
added ML antiquotation @{here};
|
file |
diff |
annotate
|
| Wed, 12 Mar 2014 21:58:48 +0100 |
wenzelm |
simplified programming interface to define ML antiquotations -- NB: the transformed context ignores updates of the context parser;
|
file |
diff |
annotate
|
| Thu, 06 Mar 2014 22:15:01 +0100 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Thu, 06 Mar 2014 21:33:15 +0100 |
wenzelm |
some NEWS;
|
file |
diff |
annotate
|
| Thu, 06 Mar 2014 15:40:33 +0100 |
blanchet |
renamed 'fun_rel' to 'rel_fun'
|
file |
diff |
annotate
|
| Thu, 06 Mar 2014 15:29:18 +0100 |
blanchet |
renamed 'prod_rel' to 'rel_prod'
|
file |
diff |
annotate
|
| Thu, 06 Mar 2014 15:25:21 +0100 |
blanchet |
renamed 'sum_rel' to 'rel_sum'
|
file |
diff |
annotate
|
| Thu, 06 Mar 2014 15:14:09 +0100 |
blanchet |
renamed 'filter_rel' to 'rel_filter'
|
file |
diff |
annotate
|
| Thu, 06 Mar 2014 15:10:56 +0100 |
blanchet |
renamed 'vset_rel' to 'rel_vset'
|
file |
diff |
annotate
|
| Thu, 06 Mar 2014 14:57:15 +0100 |
blanchet |
fixed NEWS
|
file |
diff |
annotate
|
| Thu, 06 Mar 2014 14:57:14 +0100 |
blanchet |
renamed 'set_rel' to 'rel_set'
|
file |
diff |
annotate
|
| Thu, 06 Mar 2014 13:36:50 +0100 |
blanchet |
renamed 'cset_rel' to 'rel_cset'
|
file |
diff |
annotate
|
| Thu, 06 Mar 2014 13:36:49 +0100 |
blanchet |
renamed 'fset_rel' to 'rel_fset'
|
file |
diff |
annotate
|
| Thu, 06 Mar 2014 13:36:15 +0100 |
blanchet |
renamed 'map_sum' to 'sum_map'
|
file |
diff |
annotate
|
| Mon, 03 Mar 2014 22:33:22 +0100 |
blanchet |
tuned code
|
file |
diff |
annotate
|
| Mon, 03 Mar 2014 14:22:35 +0100 |
blanchet |
updated NEWS
|
file |
diff |
annotate
|
| Mon, 03 Mar 2014 12:48:20 +0100 |
blanchet |
rationalized internals
|
file |
diff |
annotate
|
| Sat, 01 Mar 2014 17:08:39 +0100 |
haftmann |
more precise imports;
|
file |
diff |
annotate
|
| Wed, 26 Feb 2014 11:57:52 +0100 |
haftmann |
prefer proof context over background theory
|
file |
diff |
annotate
|
| Mon, 24 Feb 2014 13:18:33 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 23 Feb 2014 10:44:57 +0100 |
haftmann |
NEWS and documentation, including correction of long-overseen "*"
|
file |
diff |
annotate
|
| Sun, 23 Feb 2014 10:33:43 +0100 |
haftmann |
dropped long-unused option
|
file |
diff |
annotate
|
| Sat, 22 Feb 2014 16:16:21 +0100 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Fri, 21 Feb 2014 17:00:45 +0100 |
wenzelm |
improved completion based on context information;
|
file |
diff |
annotate
|
| Fri, 21 Feb 2014 00:18:40 +0100 |
blanchet |
NEWS
|
file |
diff |
annotate
|
| Thu, 20 Feb 2014 16:56:51 +0100 |
wenzelm |
clarified markup cumulation order (see also 25306d92f4ad and 0009a6ebc83b), e.g. relevant for completion_context;
|
file |
diff |
annotate
|
| Wed, 19 Feb 2014 16:33:11 +0100 |
blanchet |
updated NEWS
|
file |
diff |
annotate
|