| 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 |
| Tue, 17 Apr 2012 16:21:47 +1000 | Thomas Sewell | New tactic "word_bitwise" expands word equalities/inequalities into logic. | file | diff | annotate |
| Wed, 18 Apr 2012 22:40:25 +0200 | blanchet | Sledgehammer NEWS and CONTRIBUTORS | file | diff | annotate |
| Wed, 18 Apr 2012 20:48:15 +0200 | haftmann | dropped errorneous NEWS entry | file | diff | annotate |
| Wed, 18 Apr 2012 20:47:21 +0200 | haftmann | consolidated NEWS entries on fold | file | diff | annotate |
| Wed, 18 Apr 2012 20:45:48 +0200 | haftmann | grouped fold-related NEWS entries together | file | diff | annotate |
| Wed, 18 Apr 2012 20:40:52 +0200 | haftmann | grouped NEWS concerning relations together | file | diff | annotate |
| Wed, 18 Apr 2012 20:38:15 +0200 | haftmann | merged rename traces | file | diff | annotate |
| Mon, 16 Apr 2012 19:38:48 +0200 | wenzelm | repaired some damage caused by merging with version from 12 days ago (cf. 8c8f27864ed1); | file | diff | annotate |
| Mon, 16 Apr 2012 19:01:57 +0200 | nipkow | merged | file | diff | annotate |
| Wed, 04 Apr 2012 09:59:49 +0200 | nipkow | refined new tutorial announcement | file | diff | annotate |
| Sun, 15 Apr 2012 14:50:09 +0200 | wenzelm | some coverage of bundled declarations; | file | diff | annotate |
| Sun, 15 Apr 2012 13:15:14 +0200 | wenzelm | some coverage of unnamed contexts, which can be nested within other targets; | file | diff | annotate |