| Sat, 02 Jan 2016 16:32:36 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 02 Jan 2016 16:15:28 +0100 | wenzelm | avoid downloading contrib again; | changeset | files |
| Sat, 02 Jan 2016 15:18:38 +0100 | wenzelm | provide server name uniformly on all platforms; | changeset | files |
| Sat, 02 Jan 2016 13:29:34 +0100 | wenzelm | more symbols; | changeset | files |
| Sat, 02 Jan 2016 13:22:46 +0100 | wenzelm | NEWS; | changeset | files |
| Fri, 01 Jan 2016 22:13:24 +0100 | wenzelm | keep platform bundle for reference, e.g. for headless installation; | changeset | files |
| Fri, 01 Jan 2016 19:52:00 +0100 | wenzelm | keep generic archive for all platforms -- required for Admin/Release/build_library; | changeset | files |
| Fri, 01 Jan 2016 19:42:48 +0100 | wenzelm | oops; | changeset | files |
| Fri, 01 Jan 2016 16:51:04 +0100 | wenzelm | Added tag Isabelle2016-RC0 for changeset e18444532fce | changeset | files |
| Fri, 01 Jan 2016 16:50:04 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 01 Jan 2016 16:40:47 +0100 | wenzelm | updated for release; | changeset | files |
| Fri, 01 Jan 2016 16:39:10 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 01 Jan 2016 14:44:52 +0100 | wenzelm | more symbols; | changeset | files |
| Fri, 01 Jan 2016 11:27:29 +0100 | wenzelm | clarified abbrev; | changeset | files |
| Fri, 01 Jan 2016 11:18:54 +0100 | wenzelm | clarified meaning of \<^bold> action, depending on group; | changeset | files |