../ java-patterns/ 09-Jun-2026 13:45 - scala-isabelle_2.12/ 09-Jun-2026 13:45 - scala-isabelle_2.13/ 09-Jun-2026 13:45 -