git.annexia.org / goals.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 53a2161) | patch
Rename parsing/ to src/
authorRichard W.M. Jones <rjones@redhat.com>
Sat, 21 Dec 2019 17:01:52 +0000 (17:01 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Sat, 21 Dec 2019 20:23:36 +0000 (20:23 +0000)
commit5a6a8b2b8e515941f9a2b3cc051da646ae696251
tree108e7b68fb47dc3b8389a595c283aa9489072eb5tree | snapshot
parent53a2161b3e0ff69420968c0fba82b93800a6b381commit | diff
Rename parsing/ to src/

And some refactoring of the main code and command line parsing.
13 files changed:
.gitignore diff | blob | history
Makefile.in diff | blob | history
configure.ac diff | blob | history
src/Goalfile.in [moved from parsing/Goalfile.in with 100% similarity] blob | history
src/Makefile.in [moved from parsing/Makefile.in with 95% similarity] diff | blob | history
src/ast.ml [moved from parsing/ast.ml with 100% similarity] blob | history
src/ast.mli [moved from parsing/ast.mli with 100% similarity] blob | history
src/lexer.mli [moved from parsing/lexer.mli with 100% similarity] blob | history
src/lexer.mll [moved from parsing/lexer.mll with 100% similarity] blob | history
src/main.ml [new file with mode: 0644] blob
src/parse.ml [moved from parsing/main.ml with 95% similarity] diff | blob | history
src/parse.mli [new file with mode: 0644] blob
src/parser.mly [moved from parsing/parser.mly with 100% similarity] blob | history
Unnamed repository; edit this file 'description' to name the repository.