[doc] fix several minor issues in Eva manual, add and use new macros
Showing
- doc/eva/examples/alarms/invalid_bool.c 0 additions, 1 deletiondoc/eva/examples/alarms/invalid_bool.c
- doc/eva/examples/fonctions.c 4 additions, 7 deletionsdoc/eva/examples/fonctions.c
- doc/eva/gui.tex 8 additions, 8 deletionsdoc/eva/gui.tex
- doc/eva/main.tex 236 additions, 249 deletionsdoc/eva/main.tex
- doc/frama-c-book.cls 18 additions, 1 deletiondoc/frama-c-book.cls
Loading
Please register or sign in to comment