]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b5dae19) | 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)
commit7758cfd759de8f4f02e36b2e67375274033eefd1
treea09822260c59fc4defa4414316687f0a3b8d2de9tree | snapshot
parentb5dae194abe43f6a034fed927c509630a182d89dcommit | diff
1. Code simplification
2. Bug fixed: do not anticipate justification for rewritingLR or rewriting RL
   if justification is "exact"
components/content_pres/content2pres.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.