]> matita.cs.unibo.it Git - helm.git/tree
7e9fc164da162e2854b8ae0eebff1b0c79387824
-rw-r--r-- 8599 Makefile
drwxr-xr-x - alpha_1
drwxr-xr-x - apps_2
drwxr-xr-x - basic_1
drwxr-xr-x - basic_2
-rw-r--r-- 115 compile_partial.sh
-rw-r--r-- 35 compile_static.sh
-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-- 329 replace.sh
-rw-r--r-- 135 restore.sh
-rw-r--r-- 33 root
-rw-r--r-- 118 static.txt
drwxr-xr-x - web