| Sat, 10 Oct 2020 13:45:04 +0200 | wenzelm | more standard build from sources; | changeset | files |
| Sat, 10 Oct 2020 13:32:27 +0200 | wenzelm | tuned message; | changeset | files |
| Fri, 09 Oct 2020 21:40:07 +0200 | wenzelm | component csdp-6.2.0 for testing: example #2 in theory HOL-ex.SOS fails with return code 206; | changeset | files |
| Fri, 09 Oct 2020 20:54:26 +0200 | wenzelm | build Isabelle CSDP component from official downloads; | changeset | files |
| Fri, 09 Oct 2020 13:41:06 +0200 | wenzelm | rebuild component following current "isabelle build_e" and Admin/PLATFORMS; | changeset | files |
| Fri, 09 Oct 2020 13:29:27 +0200 | wenzelm | proper support for Windows/Cygwin; | changeset | files |