Fri, 16 Apr 2021 22:29:23 +0200 | prefer symbolic directories $ISABELLE_ISAC and $ISABELLE_ISAC_TEST, instead of re-using ~~ for $ISABELLE_HOME; | file | diff | annotate |
Fri, 22 Jan 2021 14:56:44 +0100 | step 5.4: clarify dependencies of BridgeJEdit.thy | file | diff | annotate |
Fri, 27 Nov 2020 18:19:04 +0100 | Test_Some Example still reports the result from g_c_d | file | diff | annotate |
Wed, 04 Mar 2020 15:38:06 +0100 | unify copy&paste-code in Sub_Problem.prog_to_tac | file | diff | annotate |
Wed, 28 Aug 2019 11:21:26 +0200 | reorganised MathEngine/ BridgeLibisabelle/ | file | diff | annotate |
Mon, 26 Aug 2019 17:40:27 +0200 | rename Isac.thy --> Isac_Knowledge.thy | file | diff | annotate | base |