| Mon, 21 Aug 2017 16:12:52 +0200 | wenzelm | updated to sqlite-jdbc-3.20.0; | changeset | files |
| Mon, 21 Aug 2017 15:54:51 +0200 | wenzelm | updated to postgresql-42.1.4; | changeset | files |
| Mon, 21 Aug 2017 15:23:04 +0200 | wenzelm | avoid compound edit: it causes confusion about the context of the last line, e.g. final "end"; | changeset | files |
| Mon, 21 Aug 2017 11:36:34 +0200 | wenzelm | added missing file (cf. 9098c36abd1a); | changeset | files |
| Sun, 20 Aug 2017 23:41:17 +0200 | Manuel Eberl | Merged | changeset | files |
| Sun, 20 Aug 2017 18:55:03 +0200 | Manuel Eberl | More lemmas for HOL-Analysis | changeset | files |
| Sun, 20 Aug 2017 21:37:55 +0200 | wenzelm | merged | changeset | files |
| Sun, 20 Aug 2017 21:37:15 +0200 | wenzelm | updated for release; | changeset | files |