]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 99727f6) | patch
1. Code simplification
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Jul 2007 20:16:47 +0000 (20:16 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Jul 2007 20:16:47 +0000 (20:16 +0000)
commitd214c33bbdc80874e65cbbadfd155019604856de
tree041f49b2879e0c0fe64dad2a5a38b21de3346b38tree | snapshot
parent99727f61d0a718e34d4282f9b9b45fce4336af84commit | diff
1. Code simplification
2. Bug fixed: do not anticipate justification for rewritingLR or rewriting RL
   if justification is "exact"
helm/software/components/content_pres/content2pres.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.