---------------------------------------------------- --- Changelog Generator ---------------------------------------------------- Tool used by the doc/www/src/Makefile ---------------------------------------------------- Syntax of changelog entries : ---------------------------------------------------- # Mark "*": bug fixed. # Mark "-": change with an impact for users. # Mark "o": change with an impact for developers only. # Mark "!": change that can break compatibility with existing development. # '#nnn' : BTS entry #nnn # '#!nnn' : BTS private entry #nnn # '#?nnn' : OLD-BTS entry #nnn ---------------------------------------------------- Syntax of Frama-C release: ---------------------------------------------------- ######################################################## Open Source Release <FRAMAC-VERSION> (<FRAMAC_CODENAME>) ######################################################## ---------------------------------------------------------- Syntax of Frama-C plugin release having its own Changelog: ---------------------------------------------------------- ################################### Plugin <Name> <Version> (<FRAMAC_CODENAME>) ################################### or (to refers to the current kernel version of Frama-C): ################################### Plugin <Name> <Version> ################################### ---------------------------------------------------- Name of services for external plugins: ---------------------------------------------------- # Cmd : command line interface # Gui : graphical user interface # <Plugin> : plugin general # <Service> : plugin sub-service
Name | Last commit | Last update |
---|---|---|
.. | ||
Makefile | ||
README | ||
changelog.html | ||
generate | ||
html_generator.ml | ||
lexer.mll |