tame/doc/tame.texi

82 lines
1.3 KiB
Plaintext

\input texinfo
@c %**start of header
@setfilename tame.info
@documentencoding UTF-8
@settitle TAME Manual v@value{VERSION}
@c %**end of header
@include version.texi
@copying
This manual is for TAME, version @value{VERSION}.
Copyright @copyright{} 2015 LoVullo Associates, Inc.
@quotation
Permission is granted to copy, distribute and/or modify this document
under the terms of the GNU Free Documentation License, Version 1.3
or any later version published by the Free Software Foundation;
with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
A copy of the license is included in the section entitled "GNU
Free Documentation License".
@end quotation
@end copying
@titlepage
@title TAME Manual v@value{VERSION}
@author Mike Gerwitz, LoVullo Associates
@c Start copyright page
@page
@vskip 0pt plus 1filll
@insertcopying
@end titlepage
@contents
@ifnottex
@node Top
@top Main
@end ifnottex
@menu
* License:: Document License
@end menu
@ifnottex
@insertcopying
@end ifnottex
@c TODO: move me
@macro mdash{}
---
@end macro
@macro ttref{ref}
@ref{\ref\,,@code{\ref\}}
@end macro
@macro proof{str}
@sc{Proof:} \str\ @qed
@end macro
@macro qed{}
@end macro
@ifhtml
@c override @math to delimit for MathJax/KaTeX/etc
@macro math{expr}
\\(\expr\\\)
@end macro
@end ifhtml
@include license.texi
@bye