ALL_VERSIONS

README.md

bin/build-src-distrib.sh

devel_tools/docker/frama-c.custom/Dockerfile

devel_tools/docker/frama-c.dev/Dockerfile

doc/MakeLaTeXModern

doc/developer/changes.tex

doc/userman/user-changes.tex

opam/opam

src/kernel_internals/parsing/logic_parser.mly

src/kernel_internals/parsing/logic_preprocess.mll

src/kernel_services/ast_printing/cil_printer.ml

src/kernel_services/plugin_entry_points/kernel.ml

src/kernel_services/plugin_entry_points/kernel.mli

src/plugins/aorai/tests/Aorai_test.ml

src/plugins/e-acsl/Makefile.in

src/plugins/e-acsl/doc/Changelog

src/plugins/e-acsl/doc/refman/.gitignore

src/plugins/e-acsl/doc/refman/Makefile

src/plugins/e-acsl/doc/refman/assertions.tex