| Tue, 25 Apr 2017 08:38:23 +0200 | haftmann | instance for polynomial rings with characteristic zero | changeset | files |
| Mon, 24 Apr 2017 23:10:01 +0200 | wenzelm | recovered document from 0f3fdf689bf9; | changeset | files |
| Mon, 24 Apr 2017 15:56:25 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 24 Apr 2017 13:58:38 +0200 | wenzelm | clarified parent session images, to avoid duplicate loading of theories; | changeset | files |
| Mon, 24 Apr 2017 11:52:51 +0200 | wenzelm | clarified parent session images, to avoid duplicate loading of theories; | changeset | files |
| Mon, 24 Apr 2017 11:23:07 +0200 | wenzelm | clarified meaning of "isabelle jedit -R": avoid potential problems with all_known = true; | changeset | files |
| Mon, 24 Apr 2017 11:05:24 +0200 | wenzelm | clarified modules; | changeset | files |