| Fri, 01 Sep 2017 12:52:46 +0200 | wenzelm | auto update; | changeset | files |
| Fri, 01 Sep 2017 12:47:23 +0200 | wenzelm | more PIDE markup; | changeset | files |
| Fri, 01 Sep 2017 12:19:40 +0200 | bulwahn | merged | changeset | files |
| Fri, 01 Sep 2017 09:45:56 +0200 | bulwahn | more facts on Map.map_of and List.zip | changeset | files |
| Sun, 27 Aug 2017 06:56:29 +0200 | bulwahn | more facts on Map.ran | changeset | files |
| Sun, 27 Aug 2017 06:27:01 +0200 | bulwahn | another fact on (- 1) ^ _ | changeset | files |
| Fri, 01 Sep 2017 11:33:32 +0200 | ballarin | Update header of locale.ML | changeset | files |
| Thu, 31 Aug 2017 21:48:03 +0200 | ballarin | Avoid \mu and \nu as constant syntax, use LFP and GFP instead. | changeset | files |
| Thu, 31 Aug 2017 21:48:01 +0200 | ballarin | Revert 5a42eddc11c1. | changeset | files |
| Thu, 31 Aug 2017 20:19:55 +0200 | wenzelm | merged | changeset | files |
| Thu, 31 Aug 2017 19:34:43 +0200 | wenzelm | template for $ISABELLE_HOME_USER/ROOTS; | changeset | files |
| Thu, 31 Aug 2017 19:29:42 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 31 Aug 2017 19:06:14 +0200 | wenzelm | clarified signature: provide all_known information uniformly (it is subject to Sessions.T selection); | changeset | files |
| Thu, 31 Aug 2017 17:31:56 +0200 | wenzelm | reverted 6acb28e5ba41: permissiveness of 1e5ae735e026 should be sufficient; | changeset | files |
| Thu, 31 Aug 2017 17:21:38 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 31 Aug 2017 16:35:09 +0200 | wenzelm | tolerate errors in session structure, although this may lead to confusion about theory imports later on; | changeset | files |
| Thu, 31 Aug 2017 16:30:46 +0200 | wenzelm | clarified errors; | changeset | files |
| Thu, 31 Aug 2017 11:42:10 +0200 | wenzelm | clarified signature; | changeset | files |
| Thu, 31 Aug 2017 11:15:38 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 31 Aug 2017 17:48:20 +0200 | eberlm | Connecting PMFs to infinite sums | changeset | files |
| Thu, 31 Aug 2017 14:32:23 +0200 | nipkow | Moved material into AFP/Splay_Tree | changeset | files |
| Thu, 31 Aug 2017 09:50:11 +0200 | nipkow | merged | changeset | files |
| Thu, 31 Aug 2017 08:39:42 +0200 | nipkow | added PQ with merge | changeset | files |
| Thu, 31 Aug 2017 08:41:41 +0200 | Andreas Lochbihler | merged | changeset | files |