| Mon, 19 Sep 2016 12:53:30 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 18 Sep 2016 15:16:42 +0200 | wenzelm | clarified notation; | file | diff | annotate |
| Fri, 16 Sep 2016 16:33:24 +0200 | traytel | NEWS | file | diff | annotate |
| Thu, 15 Sep 2016 11:48:20 +0200 | nipkow | renamed listsum -> sum_list, listprod ~> prod_list | file | diff | annotate |
| Wed, 14 Sep 2016 20:57:43 +0200 | wenzelm | NEWS; | file | diff | annotate |
| Wed, 14 Sep 2016 14:37:38 +0200 | wenzelm | discontinued global etc/abbrevs; | file | diff | annotate |
| Mon, 12 Sep 2016 17:32:09 +0200 | blanchet | NEWS | file | diff | annotate |
| Fri, 09 Sep 2016 15:12:40 +0200 | nipkow | msetsum -> set_mset, msetprod -> prod_mset | file | diff | annotate |
| Thu, 08 Sep 2016 18:18:57 +0200 | wenzelm | option "checkpoint" helps to fine-tune global heap space management; | file | diff | annotate |
| Wed, 07 Sep 2016 22:28:30 +0200 | wenzelm | unfold_abs_def is enabled by default; | file | diff | annotate |
| Mon, 05 Sep 2016 23:39:15 +0200 | wenzelm | clarified obscure facts; | file | diff | annotate |
| Mon, 05 Sep 2016 15:47:50 +0200 | fleury | tuning multisets; more interpretations | file | diff | annotate |
| Mon, 05 Sep 2016 15:47:50 +0200 | fleury | add_mset constructor in multisets | file | diff | annotate |
| Mon, 05 Sep 2016 10:48:06 +0200 | blanchet | added warning | file | diff | annotate |
| Thu, 01 Sep 2016 16:12:55 +0200 | wenzelm | NEWS; | file | diff | annotate |
| Sun, 14 Aug 2016 12:26:09 +0200 | blanchet | updated NEWS | file | diff | annotate |
| Fri, 12 Aug 2016 14:19:27 +0200 | wenzelm | uniform ML and document antiquotations; | file | diff | annotate |
| Thu, 11 Aug 2016 18:26:44 +0200 | wenzelm | clarified antiquotations; | file | diff | annotate |
| Thu, 11 Aug 2016 07:36:58 +0200 | nipkow | tuned | file | diff | annotate |
| Wed, 10 Aug 2016 15:42:52 +0200 | nipkow | "split add" -> "split". | file | diff | annotate |
| Tue, 09 Aug 2016 12:30:31 +0200 | eberlm | Tuned primes | file | diff | annotate |
| Mon, 08 Aug 2016 14:13:14 +0200 | hoelzl | rename HOL-Multivariate_Analysis to HOL-Analysis. | file | diff | annotate |
| Sat, 06 Aug 2016 18:14:59 +0200 | wenzelm | more informative 'prf' and 'full_prf', based on HOL/Proofs/ex/XML_Data.thy; | file | diff | annotate |
| Fri, 05 Aug 2016 16:30:53 +0200 | wenzelm | Sidekick parser for isabelle-ml and sml mode; | file | diff | annotate |
| Thu, 04 Aug 2016 21:25:16 +0200 | wenzelm | NEWS; | file | diff | annotate |
| Wed, 03 Aug 2016 11:45:09 +0200 | wenzelm | include 'begin' and 'end' structure in text folds; | file | diff | annotate |
| Tue, 02 Aug 2016 18:11:17 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 02 Aug 2016 17:35:18 +0200 | wenzelm | support 'abbrevs' within theory header; | file | diff | annotate |
| Fri, 29 Jul 2016 08:22:59 +0200 | fleury | more instantiations for multiset | file | diff | annotate |
| Sun, 24 Jul 2016 16:48:39 +0200 | haftmann | text antiquotation for locales (similar to classes) | file | diff | annotate |
| Wed, 27 Jul 2016 10:44:22 +0200 | Manuel Eberl | NEWS: Primes | file | diff | annotate |
| Thu, 21 Jul 2016 10:52:27 +0200 | wenzelm | merged | file | diff | annotate |
| Wed, 20 Jul 2016 22:36:10 +0200 | wenzelm | provide Pure.simp/simp_all, which only know about meta-equality; | file | diff | annotate |
| Wed, 20 Jul 2016 16:02:00 +0200 | wenzelm | completion templates for commands involving "begin ... end" blocks; | file | diff | annotate |
| Wed, 20 Jul 2016 11:44:11 +0200 | wenzelm | moved method "use" to Pure; | file | diff | annotate |
| Wed, 20 Jul 2016 14:52:09 +0200 | fleury | more instantiations for multiset | file | diff | annotate |
| Wed, 20 Jul 2016 13:51:38 +0200 | fleury | adding mset_map to the simp rules | file | diff | annotate |
| Sat, 16 Jul 2016 00:38:33 +0200 | wenzelm | information about proof outline with cases (sendback); | file | diff | annotate |
| Wed, 13 Jul 2016 15:19:16 +0200 | wenzelm | semantic indentation for unstructured proof scripts; | file | diff | annotate |
| Tue, 12 Jul 2016 16:04:19 +0200 | wenzelm | merged | file | diff | annotate |
| Tue, 12 Jul 2016 14:53:47 +0200 | wenzelm | NEWS; | file | diff | annotate |
| Tue, 12 Jul 2016 13:55:35 +0200 | fleury | sharing simp rules between ordered monoids and rings | file | diff | annotate |
| Tue, 12 Jul 2016 11:51:05 +0200 | wenzelm | added action "isabelle.newline" (shortcut ENTER); | file | diff | annotate |
| Mon, 11 Jul 2016 22:07:02 +0200 | wenzelm | merged | file | diff | annotate |
| Mon, 11 Jul 2016 22:02:18 +0200 | wenzelm | NEWS; | file | diff | annotate |
| Mon, 11 Jul 2016 21:02:26 +0200 | haftmann | NEWS | file | diff | annotate |
| Fri, 08 Jul 2016 23:43:11 +0200 | haftmann | avoid to hide equality behind (output) abbreviation | file | diff | annotate |
| Fri, 08 Jul 2016 19:35:31 +0200 | nipkow | new style dummy_pats | file | diff | annotate |
| Thu, 07 Jul 2016 17:34:39 +0200 | fleury | more instantiations for multiset | file | diff | annotate |
| Wed, 06 Jul 2016 23:19:28 +0200 | blanchet | leverage new 'order' type class instantiation in multiset | file | diff | annotate |
| Tue, 05 Jul 2016 13:05:04 +0200 | fleury | instantiate multiset with multiset ordering | file | diff | annotate |
| Mon, 04 Jul 2016 20:51:04 +0200 | wenzelm | merged | file | diff | annotate |
| Mon, 04 Jul 2016 20:48:55 +0200 | wenzelm | NEWS; | file | diff | annotate |
| Mon, 04 Jul 2016 19:49:25 +0200 | haftmann | spelling | file | diff | annotate |
| Mon, 04 Jul 2016 19:46:20 +0200 | haftmann | combinator to build partial equivalence relations from a predicate and an equivalenc relation | file | diff | annotate |
| Mon, 04 Jul 2016 19:46:20 +0200 | haftmann | basic facts about almost everywhere fix bijections | file | diff | annotate |
| Mon, 04 Jul 2016 19:46:19 +0200 | haftmann | dedicated locale for total bijections | file | diff | annotate |
| Thu, 23 Jun 2016 23:10:19 +0200 | wenzelm | merged | file | diff | annotate |
| Thu, 23 Jun 2016 11:01:14 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Thu, 23 Jun 2016 16:46:36 +0200 | haftmann | compiling implicit instances into companion objects for classes avoids ambiguities | file | diff | annotate |