Cleanning + automatically retrieve the version number from git
Showing
- Makefile 2 additions, 0 deletionsMakefile
- Makefile.save 0 additions, 75 deletionsMakefile.save
- notes-pascal/devel-notes.pdf 0 additions, 0 deletionsnotes-pascal/devel-notes.pdf
- notes-pascal/devel-notes.tex 0 additions, 0 deletionsnotes-pascal/devel-notes.tex
- notes-pascal/exemplecompil-0.tex 0 additions, 0 deletionsnotes-pascal/exemplecompil-0.tex
- notes-pascal/exemplecompil.txt 0 additions, 0 deletionsnotes-pascal/exemplecompil.txt
- src/Makefile 20 additions, 1 deletionsrc/Makefile
- src/Makefile.pascal 0 additions, 222 deletionssrc/Makefile.pascal
- src/idsolve.txt 73 additions, 0 deletionssrc/idsolve.txt
- src/main.ml 2 additions, 2 deletionssrc/main.ml
- src/test/Makefile 24 additions, 0 deletionssrc/test/Makefile
- src/test/consensus.lus 46 additions, 0 deletionssrc/test/consensus.lus
- src/test/diff 2114 additions, 0 deletionssrc/test/diff
- src/test/fby.lus 10 additions, 0 deletionssrc/test/fby.lus
- src/test/left.lus 18 additions, 0 deletionssrc/test/left.lus
- src/test/newpacks.lus 0 additions, 0 deletionssrc/test/newpacks.lus
- src/test/p.lus 0 additions, 0 deletionssrc/test/p.lus
- src/test/packs.lus 67 additions, 0 deletionssrc/test/packs.lus
- src/test/struct0.lus 0 additions, 0 deletionssrc/test/struct0.lus
- src/test/t.lus 31 additions, 0 deletionssrc/test/t.lus
Loading
Please register or sign in to comment