Wed, 07 Apr 2021 18:05:14 +0200 | wenzelm | auto-update due to "isabelle build_vscode"; | changeset | files |
Wed, 07 Apr 2021 18:04:45 +0200 | wenzelm | tuned; | changeset | files |
Wed, 07 Apr 2021 18:04:30 +0200 | wenzelm | tuned --- following hints by IntelliJ IDEA; | changeset | files |