]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6f7dbdf) | patch
renamed modules so that they are more consistent with other cic modules
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 23 Jan 2004 17:05:20 +0000 (17:05 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 23 Jan 2004 17:05:20 +0000 (17:05 +0000)
commit8004125685a99b6c0f2f95fd7f3fa09a4f5c9094
tree44041773ad66edf8093cf7875239cbbe623076cctree | snapshot
parent6f7dbdfa37be6a1135df8169557eab5c92c485e2commit | diff
renamed modules so that they are more consistent with other cic modules
31 files changed:
helm/gTopLevel/chosenTermEditor.mli diff | blob | history
helm/gTopLevel/disambiguatingParser.ml diff | blob | history
helm/gTopLevel/disambiguatingParser.mli diff | blob | history
helm/gTopLevel/script.sh diff | blob | history
helm/gTopLevel/termEditor.ml diff | blob | history
helm/gTopLevel/termEditor.mli diff | blob | history
helm/ocaml/cic_disambiguation/.depend diff | blob | history
helm/ocaml/cic_disambiguation/Makefile diff | blob | history
helm/ocaml/cic_disambiguation/arit_notation.ml diff | blob | history
helm/ocaml/cic_disambiguation/ast.mli [deleted file] blob | history
helm/ocaml/cic_disambiguation/cicTextualLexer2.ml [new file with mode: 0644] blob
helm/ocaml/cic_disambiguation/cicTextualLexer2.mli [new file with mode: 0644] blob
helm/ocaml/cic_disambiguation/cicTextualParser2.ml [new file with mode: 0644] blob
helm/ocaml/cic_disambiguation/cicTextualParser2.mli [new file with mode: 0644] blob
helm/ocaml/cic_disambiguation/cicTextualParser2Ast.mli [new file with mode: 0644] blob
helm/ocaml/cic_disambiguation/cicTextualParser2Pp.ml [new file with mode: 0644] blob
helm/ocaml/cic_disambiguation/cicTextualParser2Pp.mli [new file with mode: 0644] blob
helm/ocaml/cic_disambiguation/disambiguate.ml diff | blob | history
helm/ocaml/cic_disambiguation/disambiguate.mli diff | blob | history
helm/ocaml/cic_disambiguation/disambiguateTypes.ml [new file with mode: 0644] blob
helm/ocaml/cic_disambiguation/disambiguateTypes.mli [new file with mode: 0644] blob
helm/ocaml/cic_disambiguation/disambiguate_types.ml [deleted file] blob | history
helm/ocaml/cic_disambiguation/disambiguate_types.mli [deleted file] blob | history
helm/ocaml/cic_disambiguation/lexer.ml [deleted file] blob | history
helm/ocaml/cic_disambiguation/lexer.mli [deleted file] blob | history
helm/ocaml/cic_disambiguation/logic_notation.ml diff | blob | history
helm/ocaml/cic_disambiguation/parser.ml [deleted file] blob | history
helm/ocaml/cic_disambiguation/parser.mli [deleted file] blob | history
helm/ocaml/cic_disambiguation/pp.ml [deleted file] blob | history
helm/ocaml/cic_disambiguation/pp.mli [deleted file] blob | history
helm/ocaml/cic_disambiguation/tests/eq.txt [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.