Lulu sequent matcher2
Added implementation of Sequentmatcher and undo in interactive mode and quicksort example
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Added implementation of Sequentmatcher and undo in interactive mode and quicksort example