| 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 |
| Wed, 07 Mar 2018 17:39:18 +0100 | wenzelm | tuned -- more uniform; | changeset | files |