equal
deleted
inserted
replaced
101 hence 'proof' without argument may be used to unfold locale |
101 hence 'proof' without argument may be used to unfold locale |
102 predicates. |
102 predicates. |
103 |
103 |
104 |
104 |
105 *** Document preparation *** |
105 *** Document preparation *** |
|
106 |
|
107 * Simplified pdfsetup.sty: color/hyperref is used unconditionally for |
|
108 both pdf and dvi (hyperlinks usually work in xdvi as well); removed |
|
109 obsolete thumbpdf setup (contemporary PDF viewers do this on the |
|
110 spot); renamed link color from "darkblue" to "linkcolor" (default |
|
111 value unchanged, can be redefined via \definecolor). |
106 |
112 |
107 * Antiquotation "lemma" takes a proposition and a simple method text |
113 * Antiquotation "lemma" takes a proposition and a simple method text |
108 as argument and asserts that the proposition is provable by the |
114 as argument and asserts that the proposition is provable by the |
109 corresponding method invocation. Prints text of proposition, as does |
115 corresponding method invocation. Prints text of proposition, as does |
110 antiquotation "prop". A simple method text is either a method name or |
116 antiquotation "prop". A simple method text is either a method name or |