]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 88a68a9) | patch
notation ast updated to comply with the toplevel let rec of ng_kernel
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 30 Jan 2015 12:27:18 +0000 (12:27 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 30 Jan 2015 12:27:18 +0000 (12:27 +0000)
commit53b8e2af661ad4165aa0b1deccd0a7522d96ce2e
treeecbae08c20eedcb40753a17673b6ac5a729eff37tree | snapshot
parent88a68a9c334646bc17314d5327cd3b790202acd6commit | diff
notation ast updated to comply with the toplevel let rec of ng_kernel
matita/components/content/notationPp.ml diff | blob | history
matita/components/content/notationPt.ml diff | blob | history
matita/components/content/notationUtil.ml diff | blob | history
matita/components/content_pres/termContentPres.ml diff | blob | history
matita/components/disambiguation/disambiguate.ml diff | blob | history
matita/components/grafite_parser/grafiteParser.ml diff | blob | history
matita/components/ng_disambiguation/grafiteDisambiguate.ml diff | blob | history
matita/components/ng_disambiguation/nCicDisambiguate.ml diff | blob | history
matita/components/ng_tactics/nCicElim.ml diff | blob | history
matita/components/syntax_extensions/.depend diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.