| Sun, 03 Sep 2023 13:23:51 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sun, 03 Sep 2023 12:39:19 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sun, 03 Sep 2023 12:30:44 +0200 | wenzelm | clarified signature: removed ununsed option; | file | diff | annotate |
| Sun, 03 Sep 2023 12:17:41 +0200 | wenzelm | tuned message; | file | diff | annotate |
| Sun, 27 Aug 2023 13:15:32 +0200 | wenzelm | tuned messages: avoid duplicates; | file | diff | annotate |
| Fri, 25 Aug 2023 15:31:14 +0200 | wenzelm | clarified default options: SQLite build_database is unsupported for Isabelle2023, due to lack of proper transaction_lock; | file | diff | annotate |
| Fri, 25 Aug 2023 13:56:00 +0200 | wenzelm | tuned message; | file | diff | annotate |