| Fri, 04 Oct 2013 18:51:47 +0200 | wenzelm | another shortcut alias; | changeset | files |
| Fri, 04 Oct 2013 13:17:49 +0200 | wenzelm | NEWS; | changeset | files |
| Thu, 03 Oct 2013 17:03:20 +0200 | wenzelm | Added tag Isabelle2013-1-RC1 for changeset c37100233af7 | changeset | files |
| Mon, 11 Nov 2013 18:25:13 +0100 | blanchet | reintroduced check from bd36da55d825 after all, due to hard-to-solve issues outside the N2M code | changeset | files |
| Mon, 11 Nov 2013 18:13:17 +0100 | blanchet | removed dead code | changeset | files |
| Mon, 11 Nov 2013 17:59:41 +0100 | blanchet | added check to avoid odd situations the N2M code cannot handle | changeset | files |
| Mon, 11 Nov 2013 17:40:55 +0100 | blanchet | reverted check introduced in ce58fb149ff6, now that independent functions are allowed (cf. 347c3b0cab44) | changeset | files |
| Mon, 11 Nov 2013 17:38:53 +0100 | blanchet | tuned signature | changeset | files |