Commit Graph

10 Commits (a01212e3caf331ef0ab8de64d6d25d6982f1a25e)

Author SHA1 Message Date
Alexander Bentkamp c35b66a0c6 use hints for initial texts 3 years ago
Alexander Bentkamp 2d96279203 make it compile 3 years ago
Marcus Zibrowius b33febfadd story line for planet 1 3 years ago
Jon Eugster af3afc3a94 levels 3 years ago
Alexander Bentkamp 51f82cf9eb disabled tactics command #16 3 years ago
Alexander Bentkamp 76d1a08948 compute which tactics are available in which level 3 years ago
Jon Eugster 404f346920 set theory levels 3 years ago
Alexander Bentkamp 8c4b995a32 rename message to hint 3 years ago
Jon Eugster 420f913e69 reorganise world Implication 3 years ago
Jon Eugster 1eb0ac63e3 Modified starter level. 3 years ago