| Sun, 24 Dec 2017 13:07:05 +0100 | wenzelm | clarified directories; | changeset | files |
| Sun, 24 Dec 2017 12:48:43 +0100 | wenzelm | more robust connection: prefer ServerAliveCountMax=3 (ssh default) instead of 1 (jsch default); | changeset | files |
| Sat, 23 Dec 2017 23:07:26 +0100 | wenzelm | check bibtex database: errors and warnings; | changeset | files |
| Sat, 23 Dec 2017 19:02:11 +0100 | wenzelm | more symbols; | changeset | files |
| Fri, 22 Dec 2017 23:38:54 +0000 | paulson | Merge | changeset | files |
| Fri, 22 Dec 2017 21:01:53 +0000 | paulson | Merge | changeset | files |
| Fri, 22 Dec 2017 21:00:07 +0000 | paulson | new/improved theories involving convergence; better pretty-printing for bounded quantifiers and sum/product | changeset | files |