]> matita.cs.unibo.it Git - helm.git/tree - helm/DEVEL/gdome_xslt/
Rel to hidden hypotheses are now printed as _hidden_n.
[helm.git] / helm / DEVEL / gdome_xslt /
drwxr-xr-x   ..
-rw-r--r-- 170 .cvsignore
-rw-r--r-- 125 AUTHORS
-rw-r--r-- 0 BUGS
drwxr-xr-x - C++
drwxr-xr-x - C
-rw-r--r-- 0 ChangeLog
-rw-r--r-- 26536 LICENSE
-rw-r--r-- 827 LICENSE-INRIA
-rw-r--r-- 429 Makefile.am
-rw-r--r-- 0 NEWS
-rw-r--r-- 0 README
-rw-r--r-- 2800 configure.ac
drwxr-xr-x - debian
-rw-r--r-- 370 gdome2-xslt-cpp-smart.pc.in
-rw-r--r-- 358 gdome2-xslt.pc.in
drwxr-xr-x - ocaml
drwxr-xr-x - test_files