isabelle: Changelog

wenzelm [Thu, 04 Apr 2024 11:40:45 +0200] rev 80083

more portable: prefer official JDBC operation DatabaseMetaData.getColumns();

wenzelm [Thu, 04 Apr 2024 11:21:52 +0200] rev 80082

tuned signature;

desharna [Wed, 03 Apr 2024 16:55:34 +0200] rev 80081

documented new syntax for fBall and fBex

wenzelm [Wed, 03 Apr 2024 11:35:06 +0200] rev 80080

updated for release;

wenzelm [Wed, 03 Apr 2024 11:11:23 +0200] rev 80079

Added tag Isabelle2024-RC1 for changeset 1231a7fb2510

wenzelm [Wed, 03 Apr 2024 11:09:58 +0200] rev 80078

misc tuning for release;

wenzelm [Wed, 03 Apr 2024 11:02:09 +0200] rev 80077

update for release;

wenzelm [Tue, 02 Apr 2024 19:18:55 +0200] rev 80076

merged

wenzelm [Tue, 02 Apr 2024 19:10:22 +0200] rev 80075

update to stack-2.15.5, stackage-lts-22.15;

wenzelm [Tue, 02 Apr 2024 18:29:14 +0200] rev 80074

clarified names: discontinue odd convention from 3 decades ago;

isabelle