Tags give the ability to mark specific points in history as being important
-
legacy/multi_labellings
e2565cab · ·Last point where we supported multi-labellings At this point the generator was able to handle grammars with several different labelled atoms. The generator behaviour was to label the different type of atoms independently. We later dropped this feature because in incurred too much complexity in the code of the generator. It seems unlikely that we decide to reintroduce this feature some day but we keep this tag for future reference, just in case.
-