mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-25 00:44:36 +00:00
Code Activity
12938 commits 44 branches 52 tags 176 MiB
Commit graph

3 commits

Author SHA1 Message Date
Nikolaj Bjorner
2b0106c199 doc fixes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2017-07-09 11:26:27 +02:00
Dan Liew
fa8f6f20a5 [Doxygen] Teach mk_api_doc.py to prevent ".NET", "Z3py" and "Java" 
bindings from appearing in the generated documentation. This can
be enabled with `--no-dotnet`, `--no-z3py`, and `--no-java`
respectively.

This fine-grained control is being added for the CMake build system
which will need this control.
 2017-04-26 10:42:57 +01:00
Dan Liew
5a66f05384 [Doxygen] Teach mk_api_doc.py to use @ style substitutions 
to control whether OCaml documentation link is emitted.
 2017-04-26 10:42:57 +01:00
Renamed from doc/website.dox (Browse further)