| Tue, 01 Feb 2011 21:09:52 +0100 | krauss | term style 'isub': ad-hoc subscripting of variables that end with digits (x1, x23, ...) | file | diff | annotate |
| Mon, 31 Jan 2011 11:18:29 +0100 | wenzelm | merged | file | diff | annotate |
| Mon, 17 Jan 2011 20:20:51 +0100 | wenzelm | back to post-release mode; | file | diff | annotate |
| Wed, 19 Jan 2011 11:27:56 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 17 Jan 2011 18:32:16 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 17 Jan 2011 17:45:52 +0100 | boehmes | made Z3 the default SMT solver again | file | diff | annotate |
| Sun, 16 Jan 2011 21:10:30 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 16 Jan 2011 20:55:48 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 16 Jan 2011 20:54:30 +0100 | wenzelm | misc tuning for release; | file | diff | annotate |
| Sat, 15 Jan 2011 14:56:57 +0100 | wenzelm | global "prems" is legacy feature; | file | diff | annotate |
| Sat, 15 Jan 2011 14:19:37 +0100 | wenzelm | misc updates for release; | file | diff | annotate |
| Sat, 15 Jan 2011 14:02:24 +0100 | wenzelm | merged; | file | diff | annotate |
| Sat, 15 Jan 2011 13:34:10 +0100 | wenzelm | misc tuning for release; | file | diff | annotate |
| Sat, 15 Jan 2011 12:49:10 +0100 | berghofe | Added entry for HOL-SPARK | file | diff | annotate |
| Tue, 11 Jan 2011 20:01:57 +0100 | wenzelm | updated to Isabelle2011; | file | diff | annotate |
| Tue, 11 Jan 2011 18:23:29 +0100 | haftmann | NEWS | file | diff | annotate |
| Tue, 11 Jan 2011 17:59:35 +0100 | bulwahn | NEWS | file | diff | annotate |
| Fri, 07 Jan 2011 10:28:45 +0100 | krauss | tuned NEWS | file | diff | annotate |
| Thu, 06 Jan 2011 21:06:18 +0100 | ballarin | Diagnostic command to show locale dependencies. | file | diff | annotate |
| Thu, 06 Jan 2011 21:06:17 +0100 | ballarin | Documentation for 'interpret' and 'sublocale' with mixins. | file | diff | annotate |
| Thu, 06 Jan 2011 21:06:17 +0100 | ballarin | Abelian group facts obtained from group facts via interpretation (sublocale). | file | diff | annotate |
| Thu, 06 Jan 2011 17:51:56 +0100 | boehmes | differentiate between local and remote SMT solvers (e.g., "z3" vs. "remote_z3"); | file | diff | annotate |
| Tue, 04 Jan 2011 15:32:56 -0800 | huffman | change some lemma names containing 'UU' to 'bottom' | file | diff | annotate |
| Tue, 04 Jan 2011 15:03:27 -0800 | huffman | renamed constant 'UU' to 'bottom', keeping 'UU' as alternative input syntax; | file | diff | annotate |
| Wed, 29 Dec 2010 18:18:42 +0100 | wenzelm | theory loader: implicit load path is considered legacy; | file | diff | annotate |
| Thu, 23 Dec 2010 13:11:40 -0800 | huffman | NEWS updates for HOLCF | file | diff | annotate |
| Thu, 23 Dec 2010 12:20:09 +0100 | haftmann | tuned order of NEWS | file | diff | annotate |
| Thu, 23 Dec 2010 12:04:29 +0100 | haftmann | NEWS | file | diff | annotate |
| Tue, 21 Dec 2010 21:54:51 +0100 | wenzelm | configuration option "rule_trace"; | file | diff | annotate |
| Tue, 21 Dec 2010 21:21:21 +0100 | wenzelm | configuration option "syntax_ast_trace" and "syntax_ast_stat"; | file | diff | annotate |