typos
Showing
- Changelog 4 additions, 4 deletionsChangelog
- Makefile 3 additions, 3 deletionsMakefile
- configure.in 2 additions, 2 deletionsconfigure.in
- doc/developer/advance.tex 7 additions, 7 deletionsdoc/developer/advance.tex
- doc/developer/architecture.tex 2 additions, 2 deletionsdoc/developer/architecture.tex
- doc/developer/changes.tex 2 additions, 2 deletionsdoc/developer/changes.tex
- doc/developer/refman.tex 1 addition, 1 deletiondoc/developer/refman.tex
- doc/developer/tutorial.tex 5 additions, 5 deletionsdoc/developer/tutorial.tex
- doc/release/intro.tex 3 additions, 3 deletionsdoc/release/intro.tex
- doc/release/website.tex 1 addition, 1 deletiondoc/release/website.tex
- doc/userman/user-changes.tex 1 addition, 1 deletiondoc/userman/user-changes.tex
- doc/userman/user-start.tex 1 addition, 1 deletiondoc/userman/user-start.tex
- doc/value/slicing.tex 4 additions, 4 deletionsdoc/value/slicing.tex
- headers/headache_config.txt 1 addition, 1 deletionheaders/headache_config.txt
- share/Makefile.plugin.template 2 additions, 2 deletionsshare/Makefile.plugin.template
- share/machdep.c 1 addition, 1 deletionshare/machdep.c
- src/kernel_internals/parsing/clexer.mll 1 addition, 1 deletionsrc/kernel_internals/parsing/clexer.mll
- src/kernel_internals/typing/alpha.ml 1 addition, 1 deletionsrc/kernel_internals/typing/alpha.ml
- src/kernel_internals/typing/cabs2cil.ml 8 additions, 8 deletionssrc/kernel_internals/typing/cabs2cil.ml
- src/kernel_internals/typing/cfg.ml 1 addition, 1 deletionsrc/kernel_internals/typing/cfg.ml
Loading
Please register or sign in to comment