search

leanprover-community / lean4game

Server to host lean games.
https://adam.math.hhu.de
GNU General Public License v3.0
198 stars 35 forks source link

Tactics not ordered alphabetically on world overview page #158

Closed TentativeConvert closed 11 months ago

TentativeConvert commented 11 months ago

In the levels, the tactics in the inventory appear to be ordered alphabetically. But on the world overview page, they appear in some different order.

joneugster commented 11 months ago

Fixed on dev. Will be in the v4.4.0 release, or earlier.