]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 55c768d) | patch
cic notation parser
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 28 May 2021 22:47:00 +0000 (00:47 +0200)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 28 May 2021 22:47:00 +0000 (00:47 +0200)
commit7e120a2bf2e6c0882b4f4b376c5861e001945cf4
treef20ecd2f4959b547f59d395b8faef5ddcad19401tree | snapshot
parent55c768d7e45babb300b5010463ba3196a68f1bbecommit | diff
cic notation parser

syntax of constructors updated to match syntax of definitions
matita/components/content_pres/cicNotationParser.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.