| Mon, 01 Oct 2018 16:41:36 +0200 | wenzelm | more direct implementation of distinct_subgoals_tac -- potentially more efficient; | changeset | files |
| Mon, 01 Oct 2018 16:40:45 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 01 Oct 2018 12:41:35 +0200 | wenzelm | HOL-SPARK .prv files are no longer written to the file-system; | changeset | files |
| Mon, 01 Oct 2018 12:19:55 +0200 | wenzelm | updated to postgresql-42.2.5; | changeset | files |
| Sun, 30 Sep 2018 18:19:28 -0400 | immler | merged | changeset | files |
| Sat, 29 Sep 2018 16:30:44 -0400 | immler | fix (non-existent) document generation | changeset | files |
| Sun, 30 Sep 2018 22:47:38 +0200 | wenzelm | updated to scala-2.12.7; | changeset | files |
| Sun, 30 Sep 2018 16:23:35 +0200 | nipkow | news | changeset | files |