]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6daa2cc) | patch
- cicNotationParser: added extra space to TeX control sequences accordind to previous...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 29 May 2009 14:26:50 +0000 (14:26 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 29 May 2009 14:26:50 +0000 (14:26 +0000)
commitf1f80d3696cca276a0e07babe46debd2447007f7
tree62d560239a7d1929c6b16219c3698ea8d96bba17tree | snapshot
parent6daa2cc113783aaba53d82c47fe7107988d76e11commit | diff
- cicNotationParser: added extra space to TeX control sequences accordind to previous commit of cicNotationLexer
- core_notation: bugfix in the notation for exp
- library/nat/congruence.ma: notation for "congruent" moved to core_notation

now nat/exp.ma is fully reconstructed :)
helm/software/components/content_pres/cicNotationParser.ml diff | blob | history
helm/software/matita/core_notation.moo diff | blob | history
helm/software/matita/library/nat/congruence.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.