| Fri, 09 Mar 2018 12:29:56 +0100 | wenzelm | clarified socket connection; | changeset | files |
| Fri, 09 Mar 2018 12:07:47 +0100 | wenzelm | server commands may access Server; | changeset | files |
| Thu, 08 Mar 2018 21:09:22 +0100 | wenzelm | tuned -- avoid regex matching on potentially large string; | changeset | files |
| Thu, 08 Mar 2018 14:12:25 +0100 | wenzelm | more robust build: prevent problems seen with Poly/ML eb94e2820013 on Mac OS X; | changeset | files |
| Thu, 08 Mar 2018 11:46:37 +0100 | wenzelm | clarified notion of unknown files: ignore files outside of a Mercurial repository; | changeset | files |
| Thu, 08 Mar 2018 11:20:45 +0100 | wenzelm | more balanced AFP partitioning; | changeset | files |
| Wed, 07 Mar 2018 19:02:22 +0100 | wenzelm | more abbrevs -- this makes "(=" ambiguous and thus simplifies input of "(=)" (within the context of Main HOL); | changeset | files |