Wed, 12 Feb 2025 00:40:57 +0100 | wenzelm | removed unused imports; | file | diff | annotate |
Thu, 12 Oct 2023 20:58:15 +0200 | wenzelm | clarified user errors vs. failures, e.g. java.lang.StackOverflowError; | file | diff | annotate |
Tue, 29 Aug 2023 17:10:48 +0200 | wenzelm | clarified signature: prefer enum types; | file | diff | annotate |
Tue, 29 Aug 2023 17:06:24 +0200 | wenzelm | clarified signature: prefer enum types; | file | diff | annotate |
Fri, 20 Jan 2023 19:52:52 +0100 | wenzelm | more direct check of bibtex entries via Isabelle/Scala; | file | diff | annotate |
Fri, 20 Jan 2023 16:30:09 +0100 | wenzelm | support Session argument for Scala.Fun; | file | diff | annotate |
Fri, 25 Nov 2022 21:58:40 +0100 | wenzelm | update to scala-3.2.1; | file | diff | annotate |