The Logic Museum talk:Tools
From The Logic Museum
Jump to navigationJump to searchReplace with page template (span)
Text replace -
\<span id=p(.*)\>\<\/span\>
{{p|$1|$1}}
Use regular expressions
Replace with page template ([nnn])
Text replace -
\[([0-9][0-9][0-9])\]
{{p|$1|$1}}
Use regular expressions
Prefix: Authors/Ockham/Summa Logicae/Book III