]> matita.cs.unibo.it Git - helm.git/tree
598e32079fbe2d1e29ba9e9b88e4dbbde8d5889d
-rw-r--r-- 8327 Makefile
drwxr-xr-x - alpha_1
drwxr-xr-x - apps_2
drwxr-xr-x - basic_1
drwxr-xr-x - basic_2
-rw-r--r-- 78 etc2ma.sh
drwxr-xr-x - ground_1
drwxr-xr-x - ground_2
-rw-r--r-- 1421 hls.ml
drwxr-xr-x - legacy_1
-rw-r--r-- 77 ma2etc.sh
-rw-r--r-- 121 orig.sh
-rw-r--r-- 194 partial.txt
-rw-r--r-- 115 partial_compile.sh
-rw-r--r-- 299 replace.sh
-rw-r--r-- 33 root
drwxr-xr-x - web