---------------------------------------------------- --- 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-NAME>_<FRAMAC_VERSION> ###################################################### ---------------------------------------------------- Syntax of Frama-C external plugin release: ---------------------------------------------------- ################################### Plugin <Name> <Version> <FRAMAC-NAME>_<FRAMAC_VERSION> ################################### or (to refers to the current kernel version of Frama-C): ################################### Plugin <Name> <Version> ################################### ---------------------------------------------------- Syntax tool release: ---------------------------------------------------- ################################### Tool <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 | ||