| 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 |