ACGtk issueshttps://gitlab.inria.fr/ACG/dev/ACGtk/-/issues2018-10-05T12:11:38+02:00https://gitlab.inria.fr/ACG/dev/ACGtk/-/issues/16Parametrize "show" so that only the root of tree showing the combination is s...2018-10-05T12:11:38+02:00POGODALLA SylvainParametrize "show" so that only the root of tree showing the combination is shownParametrize "show" so that only the root of the tree showing the derivation is shown.Parametrize "show" so that only the root of the tree showing the derivation is shown.POGODALLA SylvainPOGODALLA Sylvainhttps://gitlab.inria.fr/ACG/dev/ACGtk/-/issues/7Remove lookup of other solutions when there is none2018-10-05T13:16:51+02:00POGODALLA SylvainRemove lookup of other solutions when there is noneWhen parsing succeeds, the user is always asked whether she wants to look up other solutions, whether there are some or not.
This could easily be checked and remove when no other solution is available.When parsing succeeds, the user is always asked whether she wants to look up other solutions, whether there are some or not.
This could easily be checked and remove when no other solution is available.https://gitlab.inria.fr/ACG/dev/ACGtk/-/issues/5[Feature] Gitlab Page2022-03-29T15:00:55+02:00GUILLAUME Maxime[Feature] Gitlab Page[GitLab Pages Inria] https://gitlab.inria.fr/help/user/project/pages/index.md[GitLab Pages Inria] https://gitlab.inria.fr/help/user/project/pages/index.md