]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d548dd) | 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)
commit18a3f1f03b3f3b12f13f9d1b5fbc767b9dc14759
treec0e8203509ea511f1476f3c7eb66cfc75032c8abtree | snapshot
parent2d548dd33a2a6b22a08d55daef7a65a574193ce7commit | diff
In order to generate executable declarative scripts, we are now splitting
the "Rewrite" content-level method into "RewriteRL" and "RewriteLR".
components/acic_content/acic2content.ml diff | blob | history
components/content_pres/content2pres.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.