| 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 |
| Wed, 19 Feb 2014 11:11:07 +0100 | traytel | reflect 207538943038 in NEWS | file | diff | annotate |
| Mon, 17 Feb 2014 22:39:20 +0100 | wenzelm | subtle change of semantics of Thm.eq_thm, e.g. relevant for merge of src/HOL/Tools/Predicate_Compile/core_data.ML (cf. HOL-IMP); | file | diff | annotate |
| Mon, 17 Feb 2014 14:07:26 +0100 | wenzelm | NEWS; | file | diff | annotate |
| Mon, 17 Feb 2014 13:31:42 +0100 | blanchet | updated NEWS | file | diff | annotate |
| Sun, 16 Feb 2014 21:33:28 +0100 | blanchet | folded 'rel_option' into 'option_rel' | file | diff | annotate |