]> matita.cs.unibo.it Git - helm.git/tree - DEVEL/gdome_xslt/debian/
coercions under Fix and Case. Code refactoring needed
[helm.git] / DEVEL / gdome_xslt / debian /
drwxr-xr-x   ..
-rw-r--r-- 8281 changelog
-rw-r--r-- 2 compat
-rw-r--r-- 2549 control
-rw-r--r-- 640 copyright
-rw-r--r-- 0 docs
-rw-r--r-- 32 libgdome2-xslt-dev.examples
-rw-r--r-- 125 libgdome2-xslt-dev.install
-rw-r--r-- 25 libgdome2-xslt-ocaml-dev.dirs.in
-rw-r--r-- 44 libgdome2-xslt-ocaml-dev.examples
-rw-r--r-- 155 libgdome2-xslt-ocaml-dev.install.in
-rw-r--r-- 25 libgdome2-xslt-ocaml.dirs.in
-rw-r--r-- 53 libgdome2-xslt-ocaml.install.in
-rw-r--r-- 26 libgdome2-xslt0c2a.install
-rwxr-xr-x 150 rules