test/Tools/isac/Minisubpbl/150-add-given-Equation.sml
Wed, 26 Jul 2023 11:12:55 +0200 rollback
Fri, 21 Jul 2023 14:16:57 +0200 prepare 10: Minisubpbl/* is in test standard format
Wed, 09 Nov 2022 15:15:24 +0100 rename Minisubpbl: in the future "a" indicates a "Maximum"-test