]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 63adafe) | patch
In order to generate executable declarative scripts, we are now splitting
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 30 Jun 2007 12:33:24 +0000 (12:33 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 30 Jun 2007 12:33:24 +0000 (12:33 +0000)
commit79d584e8f049226ec9cf68e9e06880ed0d95af51
tree11b73f353d5d29328ed5080617627f81eb19e109tree | snapshot
parent63adafe5fb700c8ecf13f74fc31086c173617e86commit | diff
In order to generate executable declarative scripts, we are now splitting
the "Rewrite" content-level method into "RewriteRL" and "RewriteLR".
helm/software/components/acic_content/acic2content.ml diff | blob | history
helm/software/components/content_pres/content2pres.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.