Fix a few comment.
Showing
- Makefile 3 additions, 3 deletionsMakefile
- README.org 15 additions, 1 deletionREADME.org
- _oasis 1 addition, 1 deletion_oasis
- src/lic.ml 10 additions, 3 deletionssrc/lic.ml
- src/lic2soc.ml 2 additions, 2 deletionssrc/lic2soc.ml
- src/lv6version.ml 2 additions, 2 deletionssrc/lv6version.ml
- src/sortActions.mli 2 additions, 3 deletionssrc/sortActions.mli
- test/should_work/toolate.lus 0 additions, 1 deletiontest/should_work/toolate.lus
Loading
Please register or sign in to comment