Skip to content
Snippets Groups Projects
Normal view Permalink
lustre-v6.install 142 B
Newer Older
erwan's avatar
Minor changes of the exemples in the manual
erwan committed
1 2 3 4 5 6 7 8 
etc: [
  "setup.ml"
  "setup.data"
  "setup.log"
]

doc: [
  "lv6-ref-man/lv6-ref-man.pdf"
erwan's avatar
clean-up utils/lustrequiv, and install in the opam bin dir.  
erwan committed
9 10 11 
]

bin: [
erwan's avatar
Rename lus2lic into lv6  
erwan committed
12 
  "utils/lus2lic"
erwan's avatar
clean-up utils/lustrequiv, and install in the opam bin dir.  
erwan committed
13 14 
  "utils/lustrequiv"
]