11 commits

Author	SHA1	Message	Date
Bruce Mitchener	c682ec1135	Remove remaining references to Z3_bool_opt.	2022-07-30 05:48:27 +02:00
Nikolaj Bjorner	2b71d8bc08	doc macros	2022-03-03 14:59:38 -08:00
Nikolaj Bjorner	bcbda45298	updates to doc	2021-01-11 13:03:55 -08:00
Florian Pigorsch	326bf401b9	Fix some spelling errors (mostly in comments).	2018-10-20 17:07:41 +02:00
Dan Liew	903709b9c1	[Doxygen] Fix bug where some header files were not being scanned.	2017-06-07 17:09:01 +01:00
Dan Liew	121fd06cc2	[Doxygen] Fix mk_api_doc.py so it is not required that the current ... working directory be the `doc` directory in the source tree.	2017-04-26 10:44:01 +01:00
Dan Liew	09d7ebf1ad	[Doxygen] Fix bug where temporary directory and output directory ... paths were not handled properly if paths contained spaces.	2017-04-26 10:42:57 +01: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	33af478ce2	[Doxygen] Fix some indentation in doxygen configuration file template.	2017-04-26 10:42:57 +01:00
Dan Liew	c78bf66df3	[Doxygen] Fix bug in mk_api_doc.py where the generated ... doxygen configuration would not point at the correct path to the temporary directory.	2017-04-26 10:42:57 +01:00
Dan Liew	b4f8b001ce	[Doxygen] Teach mk_api_doc.py a new command line option ... (`--output-dir`) to control where output files are emitted. This is implemented by making `z3api.dox` a template file (renamed `z3api.cfg.in`) and populating the template at build time with the required settings.	2017-04-26 10:42:57 +01:00

Renamed from doc/z3api.dox (Browse further)