ada/why3
0
0
Fork 0
mirror of https://github.com/AdaCore/why3.git synced 2026-02-12 12:34:55 -08:00
Code Issues Packages Projects Releases Wiki Activity
18,511 Commits 65 Branches 1 Tag
master
Commit Graph

8 Commits

Author SHA1 Message Date
Guillaume Melquiond
f5ef91c42a Fix broken regex for floating-point numbers in documentation. 2021-01-11 15:32:25 +01:00
Guillaume Melquiond
a5a5671409 Add some dedicated directives for attributes, metas, and debug flags. 2020-03-27 19:22:43 +01:00
Guillaume Melquiond
9ab7574fe6 Update keyword list. 2020-02-20 07:52:33 +01:00
Guillaume Melquiond
54ce0210c7 Move syntax highlighter into the why3 domain. 2020-02-20 07:40:10 +01:00
Guillaume Melquiond
e2eb6ab474 Put :why3-transform: into the why3 domain. 
This fixes the "apply with" bug.
 2020-02-17 09:09:44 +01:00
Guillaume Melquiond
11c27ea856 Put :why3-tool: into a why3 domain (i.e., :why3:tool:). 
This domain will be useful if we ever want dedicated indices for
transformations, modules, etc.
 2020-02-17 08:43:01 +01:00
Guillaume Melquiond
b770273f12 Override the "why3-tool" role to ignore "why3" prefixes. 2020-02-16 18:28:29 +01:00
Guillaume Melquiond
256133e6bd Add an extension for cross-referencing tools and transformations. 2020-02-14 15:30:20 +01:00