fixes #2124
This commit is contained in:
parent
95861aecf0
commit
c90a13bb41
3 changed files with 6 additions and 11 deletions
|
|
@ -735,14 +735,6 @@ regular expressions:
|
|||
return tkUnknown
|
||||
|
||||
|
||||
Term rewriting macros
|
||||
---------------------
|
||||
|
||||
Term rewriting macros can be used to enhance the compilation process
|
||||
with user defined optimizations; see this `document <trmacros.html>`_ for
|
||||
further information.
|
||||
|
||||
|
||||
Building your first macro
|
||||
-------------------------
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue