| Mon, 09 Dec 2013 04:03:30 +0100 | blanchet | added warning to documentation, based on isabelle-users thread | changeset | files |
| Mon, 09 Dec 2013 04:03:30 +0100 | blanchet | more reasonable default weight | changeset | files |
| Mon, 09 Dec 2013 04:03:30 +0100 | blanchet | added multiple feature capability to MaSh | changeset | files |
| Sat, 07 Dec 2013 18:06:49 +0100 | traytel | code equations for "local" (co)datatypes available after interpretation of locales with assumptions | changeset | files |
| Sat, 07 Dec 2013 13:10:56 +0100 | wenzelm | more direct Isabelle_System.pdf_viewer; | changeset | files |
| Sat, 07 Dec 2013 12:52:31 +0100 | wenzelm | proper latex; | changeset | files |
| Fri, 06 Dec 2013 23:36:28 +0100 | wenzelm | NEWS; | changeset | files |
| Fri, 06 Dec 2013 23:34:14 +0100 | wenzelm | no keyboard control -- avoid confusion about meaning of selection; | changeset | files |