3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-05 17:14:07 +00:00

doc macros

This commit is contained in:
Nikolaj Bjorner 2022-03-03 14:59:38 -08:00
parent 87e6f103c6
commit 2b71d8bc08
3 changed files with 2 additions and 5 deletions

View file

@ -10,5 +10,4 @@
- \ref @C_API@
- \ref @CPP_API@ @DOTNET_API@ @JAVA_API@ @PYTHON_API@ @OCAML_API@
- Try Z3 online at <a href="http://rise4fun.com/z3">RiSE4Fun</a>.
*/

View file

@ -270,8 +270,7 @@ ALIASES = "beginfaq=<ul>" \
"emph{1}=<em>\1</em>" \
"extdoc{2}=<a class=\"el\" href=\"\1\">\2</a>" \
"nicebox{1}=<div class=\"fragment\"><pre class=\"fragment\">\1</pre></div>" \
"ccode{1}=<tt>\1</tt>" \
"zframe=<iframe allowtransparency=\"true\" frameborder=\"0\" style=\"width:600px;height:600px\" src=\"http://rise4fun.com/z3?frame=1&menu=0\"> </iframe>"
"ccode{1}=<tt>\1</tt>"
# This tag can be used to specify a number of word-keyword mappings (TCL only).
# A mapping has the form "name=value". For example adding "class=itcl::class"

View file

@ -64,8 +64,7 @@ ALIASES = "beginfaq=<ul>" \
"emph{1}=<em>\1</em>" \
"extdoc{2}=<a class=\"el\" href=\"\1\">\2</a>" \
"nicebox{1}=<div class=\"fragment\"><pre class=\"fragment\">\1</pre></div>" \
"ccode{1}=<tt>\1</tt>" \
"zframe=<iframe allowtransparency=\"true\" frameborder=\"0\" style=\"width:600px;height:600px\" src=\"http://rise4fun.com/z3?frame=1&menu=0\"> </iframe>"
"ccode{1}=<tt>\1</tt>"
OPTIMIZE_OUTPUT_FOR_C = YES
OPTIMIZE_OUTPUT_JAVA = NO