| Fri, 01 Sep 2017 15:15:29 +0200 | wenzelm | more robust: provide docking framework via base plugin; | changeset | files |
| Fri, 01 Sep 2017 14:58:19 +0200 | wenzelm | more robust; | changeset | files |
| Fri, 01 Sep 2017 12:57:24 +0200 | wenzelm | tuned headers; | changeset | files |
| Fri, 01 Sep 2017 12:54:31 +0200 | wenzelm | eliminated suspicious Unicode; | changeset | files |
| 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 |