| Tue, 02 Jan 2018 14:42:00 +0100 | blanchet | store high-level 'size' equations | changeset | files |
| Tue, 02 Jan 2018 13:16:32 +0100 | blanchet | avoid call to function that may throw an exception in error message | changeset | files |
| Mon, 01 Jan 2018 23:07:24 +0100 | wenzelm | misc tuning and modernization; | changeset | files |
| Mon, 01 Jan 2018 21:17:28 +0100 | wenzelm | more completion templates; | changeset | files |
| Mon, 01 Jan 2018 16:36:52 +0100 | wenzelm | proper purge of auxiliary bibtex theory; | changeset | files |
| Mon, 01 Jan 2018 16:06:37 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 01 Jan 2018 16:06:30 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 31 Dec 2017 21:42:20 +0000 | paulson | Restored correct spacing for set comprehensions | changeset | files |