equal
deleted
inserted
replaced
55 if teamname team == teamname t then |
55 if teamname team == teamname t then |
56 team : teams |
56 team : teams |
57 else |
57 else |
58 t : replaceTeam team teams |
58 t : replaceTeam team teams |
59 |
59 |
|
60 illegalName :: String -> Bool |
|
61 illegalName str = all isSpace str |
|
62 |
60 protoNumber2ver :: Word16 -> String |
63 protoNumber2ver :: Word16 -> String |
61 protoNumber2ver 17 = "0.9.7-dev" |
64 protoNumber2ver 17 = "0.9.7-dev" |
62 protoNumber2ver 19 = "0.9.7" |
65 protoNumber2ver 19 = "0.9.7" |
63 protoNumber2ver 20 = "0.9.8-dev" |
66 protoNumber2ver 20 = "0.9.8-dev" |
64 protoNumber2ver 21 = "0.9.8" |
67 protoNumber2ver 21 = "0.9.8" |