| Wed, 15 Jan 2020 13:22:16 +0100 | wenzelm | unused; | changeset | files |
| Tue, 14 Jan 2020 16:03:31 +0100 | wenzelm | more antiquotations; | changeset | files |
| Mon, 13 Jan 2020 12:11:25 +0100 | wenzelm | tuned messages; | changeset | files |
| Mon, 13 Jan 2020 12:09:28 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 13 Jan 2020 11:19:24 +0100 | wenzelm | clarified output channel; | changeset | files |
| Mon, 13 Jan 2020 11:18:31 +0100 | wenzelm | clarified option -f: avoid accidental target_clean for proper release snapshot; | changeset | files |
| Sun, 12 Jan 2020 23:29:35 +0100 | wenzelm | more robust; | changeset | files |
| Sun, 12 Jan 2020 22:54:42 +0100 | wenzelm | updated to sqlite-jdbc-3.30.1; | changeset | files |
| Sun, 12 Jan 2020 22:21:40 +0100 | wenzelm | updated to postgresql-42.2.9; | changeset | files |
| Sun, 12 Jan 2020 21:35:56 +0100 | wenzelm | build in $ISABELLE_HOME; | changeset | files |
| Sun, 12 Jan 2020 17:53:38 +0100 | wenzelm | build in $ISABELLE_HOME; | changeset | files |
| Sat, 11 Jan 2020 17:15:54 +0100 | wenzelm | clarified fresh build; | changeset | files |
| Sat, 11 Jan 2020 16:22:17 +0100 | wenzelm | tuned documentation; | changeset | files |
| Sat, 11 Jan 2020 15:04:43 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 10 Jan 2020 16:37:47 +0100 | wenzelm | clarified script name; | changeset | files |
| Fri, 10 Jan 2020 15:42:13 +0100 | wenzelm | prefer mercurial-2.8.2 for more robustness (i.e. the version used by the hosting service https://admin.phacility.com); | changeset | files |
| Thu, 09 Jan 2020 16:01:31 +0100 | wenzelm | proper name; | changeset | files |
| Thu, 09 Jan 2020 15:45:31 +0100 | wenzelm | more Isabelle fonts, notably for File Browser title in GTK L&F; | changeset | files |
| Thu, 09 Jan 2020 13:47:08 +0100 | wenzelm | eliminated deprecated scala.collection.JavaConversions; | changeset | files |
| Thu, 09 Jan 2020 13:44:16 +0100 | wenzelm | unused; | changeset | files |
| Thu, 09 Jan 2020 13:39:33 +0100 | wenzelm | tuned -- more direct java.util.Map.of; | changeset | files |
| Thu, 09 Jan 2020 08:42:01 +0100 | nipkow | added lemma | changeset | files |
| Tue, 07 Jan 2020 17:12:54 +0100 | traytel | merged | changeset | files |
| Tue, 07 Jan 2020 14:58:01 +0100 | traytel | eliminated one redundant proof obligation in lift_bnf for quotients | changeset | files |
| Tue, 07 Jan 2020 14:40:11 +0100 | blanchet | removed experimental option to SPASS | changeset | files |
| Tue, 07 Jan 2020 12:37:12 +0100 | nipkow | alternative deletion in Red-Black trees | changeset | files |
| Tue, 07 Jan 2020 07:03:18 +0100 | nipkow | generalized thm (as suggested by Christian Weinz) | changeset | files |
| Tue, 07 Jan 2020 06:43:09 +0100 | nipkow | tunded | changeset | files |