| Wed, 20 Jan 2016 20:19:05 +0100 | wenzelm | back to post-release mode -- after fork point; | file | diff | annotate |
| Wed, 20 Jan 2016 18:04:41 +0100 | blanchet | fixed NEWS w.r.t. multisets | file | diff | annotate |
| Wed, 20 Jan 2016 17:14:53 +0100 | blanchet | added 'supset' variants for new '<#' etc. symbols on multisets | file | diff | annotate |
| Tue, 19 Jan 2016 14:00:47 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 19 Jan 2016 11:19:25 +0100 | Manuel Eberl | Added approximation of powr to NEWS/CONTRIBUTORS | file | diff | annotate |
| Wed, 13 Jan 2016 16:55:56 +0100 | wenzelm | removed old 'defs' command; | file | diff | annotate |
| Wed, 13 Jan 2016 16:41:32 +0100 | wenzelm | Eisbach works for other object-logics, e.g. Eisbach_FOL.thy; | file | diff | annotate |
| Wed, 13 Jan 2016 15:17:11 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 13 Jan 2016 09:09:38 +0100 | blanchet | updated NEWS | file | diff | annotate |
| Wed, 13 Jan 2016 00:12:43 +0100 | wenzelm | more good NEWS; | file | diff | annotate |
| Sun, 10 Jan 2016 19:46:31 -0800 | kleing | print_record NEWS and CONTRIBUTORS | file | diff | annotate |
| Sat, 09 Jan 2016 22:22:17 +0100 | wenzelm | generate HTML version of NEWS, with proper symbol rendering; | file | diff | annotate |
| Sat, 09 Jan 2016 13:31:31 +0100 | wenzelm | merged | file | diff | annotate |
| Sat, 09 Jan 2016 13:00:04 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 09 Jan 2016 12:58:57 +0100 | wenzelm | \<struct> loses its rendering and is superseded by \<diamondop>; | file | diff | annotate |