Commit History

Author SHA1 Message Date
  Jesper Cockx f5a698da0d [ rewriting ] Add global confluence checker for rewrite rules 4 years ago
  Fabian 9f891f6560 [ doc ] minor changes 4 years ago
  Jesper Cockx 34125f4392 [ fix #4298 ] Add documentation for --rewriting and --confluence-check 5 years ago
  Andrés Sicard-Ramírez 31fb0ae755 [ doc ] Added links to some options. 5 years ago
  Ulf Norell 424cf62360 [ fix #3169 ] point to rewrite documentation in rewriting stub 6 years ago
  Víctor López Juan b507471bb7 [ doc ] Converted remaining into literate files 8 years ago