| Thu, 24 May 2012 15:01:17 +0200 | wenzelm | discontinued support for Poly/ML 5.2.1; | file | diff | annotate |
| Wed, 23 May 2012 16:22:27 +0200 | wenzelm | discontinued obsolete method fastsimp / tactic fast_simp_tac; | file | diff | annotate |
| Wed, 23 May 2012 12:02:27 +0200 | wenzelm | merged, abandoning change of src/HOL/Tools/ATP/atp_problem_generate.ML from 6ea205a4d7fd; | file | diff | annotate |
| Wed, 02 May 2012 22:05:59 +0200 | wenzelm | back to post-release mode -- after fork point; | file | diff | annotate |
| Thu, 03 May 2012 22:07:29 +0200 | wenzelm | more NEWS; | file | diff | annotate |
| Wed, 02 May 2012 20:43:57 +0200 | wenzelm | some re-ordering; | file | diff | annotate |
| Wed, 02 May 2012 20:31:15 +0200 | wenzelm | some re-ordering; | file | diff | annotate |
| Wed, 02 May 2012 20:15:31 +0200 | wenzelm | tuned spelling; | file | diff | annotate |
| Wed, 02 May 2012 17:23:41 +0200 | huffman | edit NEWS items for transfer/lifting | file | diff | annotate |
| Mon, 30 Apr 2012 22:18:39 +1000 | Gerwin Klein | provide [[record_codegen]] option for skipping codegen setup for records | file | diff | annotate |
| Sat, 28 Apr 2012 18:09:50 +0200 | wenzelm | some re-ordering; | file | diff | annotate |
| Sat, 28 Apr 2012 17:54:50 +0200 | wenzelm | updated system manual for release; | file | diff | annotate |
| Sat, 28 Apr 2012 10:03:46 +0200 | haftmann | less confusion in NEWS | file | diff | annotate |
| Fri, 27 Apr 2012 21:24:30 +0200 | wenzelm | mention tools and packages earlier; | file | diff | annotate |
| Fri, 27 Apr 2012 21:13:55 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 27 Apr 2012 21:02:34 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 25 Apr 2012 14:28:13 +0200 | hoelzl | sorted lemma list in NEWS | file | diff | annotate |
| Mon, 23 Apr 2012 22:22:57 +0200 | wenzelm | merged | file | diff | annotate |
| Mon, 23 Apr 2012 21:31:52 +0200 | krauss | NEWS | file | diff | annotate |
| Mon, 23 Apr 2012 21:53:43 +0200 | wenzelm | typedef with implicit set definition is considered legacy; | file | diff | annotate |
| Mon, 23 Apr 2012 12:14:35 +0200 | hoelzl | reworked Probability theory | file | diff | annotate |
| Sun, 22 Apr 2012 16:33:41 +0200 | wenzelm | merged | file | diff | annotate |
| Sun, 22 Apr 2012 14:16:46 +0200 | blanchet | fixed typos | file | diff | annotate |
| Sun, 22 Apr 2012 14:30:18 +0200 | wenzelm | USER_HOME settings variable points to cross-platform user home directory; | file | diff | annotate |
| Sat, 21 Apr 2012 21:38:08 +0200 | huffman | update NEWS for transfer/quotient | file | diff | annotate |
| Sat, 21 Apr 2012 13:54:29 +0200 | huffman | NEWS for transfer, lifting, and quotient | file | diff | annotate |
| Fri, 20 Apr 2012 11:17:01 +0200 | hoelzl | NEWS | file | diff | annotate |
| Thu, 19 Apr 2012 23:18:47 +0200 | wenzelm | merged | file | diff | annotate |
| Thu, 19 Apr 2012 22:21:15 +0200 | hoelzl | NEWS | file | diff | annotate |
| Thu, 19 Apr 2012 15:02:13 +0200 | wenzelm | more robust Sledgehammer in Prover IDE; | file | diff | annotate |