Wed, 22 Apr 2020 11:23:30 +0200 | rename file according to struct.; start renaming with "Spec" | file | diff | annotate |
Wed, 01 Apr 2020 12:42:39 +0200 | renaming, cleanup | file | diff | annotate |
Wed, 13 Nov 2019 10:21:51 +0100 | separate structure Pos: POSITION | file | diff | annotate |
Wed, 28 Aug 2019 11:21:26 +0200 | reorganised MathEngine/ BridgeLibisabelle/ | file | diff | annotate | base |