]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e2af898) | patch
- boxPp: added missing spaces
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 3 Jun 2009 20:20:11 +0000 (20:20 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 3 Jun 2009 20:20:11 +0000 (20:20 +0000)
commitb4a67321811bdc123636eaa0f117d5308cb7a07b
tree8ccef44ff44c7f32448024bd79aab29bde8e9021tree | snapshot
parente2af8984bc1f706eb69b54c99870d8b64a6d75a7commit | diff
- boxPp: added missing spaces
- core_notation: bug fix in the input notation for congruent: we added term 90 after \sub
- library/nat/permutation.ma: added input notation for transpose and fixed term precedence in its output notation
- library/Makefile: compilation of single files re-enabled.
The syntax for compiling file.ma is is "make file.mo" and "make file.mo.opt"

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