Resolve "Documentation"
Closes #10 (closed)
Merge request reports
Activity
mentioned in issue #9 (closed)
assigned to @oc59yqul
In this Branch, I added some more documentation to make the project more readable. It's not a coqdoc-documentation, this could be an improvement in future.
@TadeuszLitak could you have a look on it, please?
requested review from @TadeuszLitak
@TadeuszLitak I just added HTML-Output for this project. Not well-formated yet, but the setup stands
added 43 commits
-
bbaac506...690cf026 - 34 commits from branch
main
- a4c42630 - init commit, first work
- c97d44f2 - added docu to CFG, Grammars, Languages, RG
- 51f6e824 - Added documentation to the other files
- e7ffef2d - first version of README
- c5c06d25 - Update README.md
- 4824f8be - improved proof documentation in L_Empty.v
- 58f2f517 - improved Makefile for html
- 5e355caf - updated documentation, so that it becomes readable in HTML
- f37ca8ad - Some Makefile adjustements and file movings
Toggle commit list-
bbaac506...690cf026 - 34 commits from branch
added 11 commits
-
f37ca8ad...e1728135 - 2 commits from branch
main
- 8e43fd28 - init commit, first work
- 7872552c - added docu to CFG, Grammars, Languages, RG
- adac80d5 - Added documentation to the other files
- 1d66529e - first version of README
- 671605e8 - Update README.md
- 8b5bdc0a - improved proof documentation in L_Empty.v
- a943ea94 - improved Makefile for html
- cf058102 - updated documentation, so that it becomes readable in HTML
- 6704422a - Some Makefile adjustements and file movings
Toggle commit list-
f37ca8ad...e1728135 - 2 commits from branch
mentioned in commit ac634468
Please register or sign in to reply