/usr/local/poudriere/data/packages/e24a8cae34360705d022f17584bb6b4507b8eb89-build1/All/proofgeneral-emacs-4.1_10.txz vs.
/usr/local/poudriere/data/packages/e24a8cae34360705d022f17584bb6b4507b8eb89-build2/All/proofgeneral-emacs-4.1_10.txz
proofgeneral-emacs-4.1_10.txz-content
+MANIFEST
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 {"name":​"proofgeneral-​emacs",​"origin":​"math/​proofgeneral",​"version":​"4.​1_10",​"comment":​"Generic·​interface·​for·​proof·​assistants",​"maintainer":​"beyert@cs.​ucr.​edu",​"www":​"http:​/​/​proofgeneral.​inf.​ed.​ac.​uk",​"abi":​"FreeBSD:​11:​*",​"arch":​"freebsd:​11:​*",​"prefix":​"/​usr/​local",​"flatsize":​4483600,​"licenselogic":​"single",​"licenses":​["GPLv2"],​"desc":​"Proof·​General·​is·​a·​generic·​interface·​for·​proof·​assistants,​·​currently\nbased·​on·​the·​customizable·​text·​editor·​Emacs.​·​It·​works·​with·​either\nXEmacs·​or·​GNU·​Emacs.​·​A·​new·​Eclipse-​based·​version·​is·​in·​development.​\nThis·​is·​described·​separately·​at·​http:​/​/​proofgeneral.​inf.​ed.​ac.​uk/​kit/​wiki.​\n\nProof·​General·​has·​been·​developed·​at·​the·​LFCS·​in·​the·​University·​of\nEdinburgh.​·​It·​is·​distributed·​under·​the·​conditions·​of·​the·​GNU·​General\nPublic·​License.​\n\nThere·​is·​a·​mailing·​list:​\n\thttp:​/​/​proofgeneral.​inf.​ed.​ac.​uk/​mailinglist\n\nWWW:​·​http:​/​/​proofgeneral.​inf.​ed.​ac.​uk",​"deps":​{"hicolor-​icon-​theme":​{"origin":​"misc/​hicolor-​icon-​theme",​"version":​"0.​15"},​"indexinfo":​{"origin":​"print/​indexinfo",​"versio·​✂1 {"name":​"proofgeneral-​emacs",​"origin":​"math/​proofgeneral",​"version":​"4.​1_10",​"comment":​"Generic·​interface·​for·​proof·​assistants",​"maintainer":​"beyert@cs.​ucr.​edu",​"www":​"http:​/​/​proofgeneral.​inf.​ed.​ac.​uk",​"abi":​"FreeBSD:​11:​*",​"arch":​"freebsd:​11:​*",​"prefix":​"/​usr/​local",​"flatsize":​4483600,​"licenselogic":​"single",​"licenses":​["GPLv2"],​"desc":​"Proof·​General·​is·​a·​generic·​interface·​for·​proof·​assistants,​·​currently\nbased·​on·​the·​customizable·​text·​editor·​Emacs.​·​It·​works·​with·​either\nXEmacs·​or·​GNU·​Emacs.​·​A·​new·​Eclipse-​based·​version·​is·​in·​development.​\nThis·​is·​described·​separately·​at·​http:​/​/​proofgeneral.​inf.​ed.​ac.​uk/​kit/​wiki.​\n\nProof·​General·​has·​been·​developed·​at·​the·​LFCS·​in·​the·​University·​of\nEdinburgh.​·​It·​is·​distributed·​under·​the·​conditions·​of·​the·​GNU·​General\nPublic·​License.​\n\nThere·​is·​a·​mailing·​list:​\n\thttp:​/​/​proofgeneral.​inf.​ed.​ac.​uk/​mailinglist\n\nWWW:​·​http:​/​/​proofgeneral.​inf.​ed.​ac.​uk",​"deps":​{"hicolor-​icon-​theme":​{"origin":​"misc/​hicolor-​icon-​theme",​"version":​"0.​15"},​"indexinfo":​{"origin":​"print/​indexinfo",​"versio·​✂
/usr/local/share/doc/proofgeneral/PG-adapting/PG-adapting_3.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 228, 14 lines modifiedOffset 228, 14 lines modified
228 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>228 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
229 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>229 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
230 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>230 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
231 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>231 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
232 </​tr></​table>232 </​tr></​table>
233 <p>233 <p>
234 ·​<font·​size="-​1">234 ·​<font·​size="-​1">
235 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​235 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
236 ·​</​font>236 ·​</​font>
237 ·​<br>237 ·​<br>
  
238 </​p>238 </​p>
239 </​body>239 </​body>
240 </​html>240 </​html>
/usr/local/share/doc/proofgeneral/PG-adapting/PG-adapting_2.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 314, 14 lines modifiedOffset 314, 14 lines modified
314 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>314 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
315 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>315 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
316 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>316 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
317 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>317 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
318 </​tr></​table>318 </​tr></​table>
319 <p>319 <p>
320 ·​<font·​size="-​1">320 ·​<font·​size="-​1">
321 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​321 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
322 ·​</​font>322 ·​</​font>
323 ·​<br>323 ·​<br>
  
324 </​p>324 </​p>
325 </​body>325 </​body>
326 </​html>326 </​html>
/usr/local/share/doc/proofgeneral/PG-adapting/PG-adapting_toc.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 148, 14 lines modifiedOffset 148, 14 lines modified
148 <tr><td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>148 <tr><td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
149 <td·​valign="middle"·​align="left">[<a·​href="#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>149 <td·​valign="middle"·​align="left">[<a·​href="#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
150 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>150 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
151 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>151 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
152 </​tr></​table>152 </​tr></​table>
153 <p>153 <p>
154 ·​<font·​size="-​1">154 ·​<font·​size="-​1">
155 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​155 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
156 ·​</​font>156 ·​</​font>
157 ·​<br>157 ·​<br>
  
158 </​p>158 </​p>
159 </​body>159 </​body>
160 </​html>160 </​html>
/usr/local/share/doc/proofgeneral/PG-adapting/PG-adapting_16.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 311, 14 lines modifiedOffset 311, 14 lines modified
311 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>311 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
312 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>312 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
313 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>313 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
314 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>314 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
315 </​tr></​table>315 </​tr></​table>
316 <p>316 <p>
317 ·​<font·​size="-​1">317 ·​<font·​size="-​1">
318 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​318 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
319 ·​</​font>319 ·​</​font>
320 ·​<br>320 ·​<br>
  
321 </​p>321 </​p>
322 </​body>322 </​body>
323 </​html>323 </​html>
/usr/local/share/doc/proofgeneral/PG-adapting/PG-adapting_4.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 752, 14 lines modifiedOffset 752, 14 lines modified
752 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>752 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
753 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>753 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
754 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>754 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
755 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>755 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
756 </​tr></​table>756 </​tr></​table>
757 <p>757 <p>
758 ·​<font·​size="-​1">758 ·​<font·​size="-​1">
759 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​759 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
760 ·​</​font>760 ·​</​font>
761 ·​<br>761 ·​<br>
  
762 </​p>762 </​p>
763 </​body>763 </​body>
764 </​html>764 </​html>
/usr/local/share/doc/proofgeneral/PG-adapting/PG-adapting_19.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 189, 14 lines modifiedOffset 189, 14 lines modified
189 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>189 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
190 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>190 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
191 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>191 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
192 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>192 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
193 </​tr></​table>193 </​tr></​table>
194 <p>194 <p>
195 ·​<font·​size="-​1">195 ·​<font·​size="-​1">
196 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​196 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
197 ·​</​font>197 ·​</​font>
198 ·​<br>198 ·​<br>
  
199 </​p>199 </​p>
200 </​body>200 </​body>
201 </​html>201 </​html>
/usr/local/share/doc/proofgeneral/PG-adapting/PG-adapting_14.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 1247, 14 lines modifiedOffset 1247, 14 lines modified
1247 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>1247 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
1248 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>1248 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
1249 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>1249 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
1250 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>1250 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
1251 </​tr></​table>1251 </​tr></​table>
1252 <p>1252 <p>
1253 ·​<font·​size="-​1">1253 ·​<font·​size="-​1">
1254 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​1254 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
1255 ·​</​font>1255 ·​</​font>
1256 ·​<br>1256 ·​<br>
  
1257 </​p>1257 </​p>
1258 </​body>1258 </​body>
1259 </​html>1259 </​html>
/usr/local/share/doc/proofgeneral/PG-adapting/PG-adapting.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 155, 14 lines modifiedOffset 155, 14 lines modified
155 <td·​valign="middle"·​align="left">·​&nbsp;​·​</​td>155 <td·​valign="middle"·​align="left">·​&nbsp;​·​</​td>
156 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>156 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
157 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>157 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
158 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>158 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
159 </​tr></​table>159 </​tr></​table>
160 <p>160 <p>
161 ·​<font·​size="-​1">161 ·​<font·​size="-​1">
162 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​162 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
163 ·​</​font>163 ·​</​font>
164 ·​<br>164 ·​<br>
  
165 </​p>165 </​p>
166 </​body>166 </​body>
167 </​html>167 </​html>
/usr/local/share/doc/proofgeneral/PG-adapting/PG-adapting_7.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 103, 14 lines modifiedOffset 103, 14 lines modified
103 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>103 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
104 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>104 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
105 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>105 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
106 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>106 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
107 </​tr></​table>107 </​tr></​table>
108 <p>108 <p>
109 ·​<font·​size="-​1">109 ·​<font·​size="-​1">
110 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​110 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
111 ·​</​font>111 ·​</​font>
112 ·​<br>112 ·​<br>
  
113 </​p>113 </​p>
114 </​body>114 </​body>
115 </​html>115 </​html>
/usr/local/share/doc/proofgeneral/PG-adapting/PG-adapting_13.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 304, 14 lines modifiedOffset 304, 14 lines modified
304 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>304 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
305 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>305 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
306 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>306 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
307 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>307 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
308 </​tr></​table>308 </​tr></​table>
309 <p>309 <p>
310 ·​<font·​size="-​1">310 ·​<font·​size="-​1">
311 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​311 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
312 ·​</​font>312 ·​</​font>
313 ·​<br>313 ·​<br>
  
314 </​p>314 </​p>
315 </​body>315 </​body>
316 </​html>316 </​html>
/usr/local/share/doc/proofgeneral/PG-adapting/PG-adapting_1.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 169, 14 lines modifiedOffset 169, 14 lines modified
169 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>169 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
170 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>170 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
171 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>171 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
172 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>172 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
173 </​tr></​table>173 </​tr></​table>
174 <p>174 <p>
175 ·​<font·​size="-​1">175 ·​<font·​size="-​1">
176 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​176 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
177 ·​</​font>177 ·​</​font>
178 ·​<br>178 ·​<br>
  
179 </​p>179 </​p>
180 </​body>180 </​body>
181 </​html>181 </​html>
/usr/local/share/doc/proofgeneral/PG-adapting/PG-adapting_15.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 215, 14 lines modifiedOffset 215, 14 lines modified
215 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>215 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
216 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>216 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
217 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>217 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
218 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>218 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
219 </​tr></​table>219 </​tr></​table>
220 <p>220 <p>
221 ·​<font·​size="-​1">221 ·​<font·​size="-​1">
222 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​222 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
223 ·​</​font>223 ·​</​font>
224 ·​<br>224 ·​<br>
  
225 </​p>225 </​p>
226 </​body>226 </​body>
227 </​html>227 </​html>
/usr/local/share/doc/proofgeneral/PG-adapting/PG-adapting_11.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 152, 14 lines modifiedOffset 152, 14 lines modified
152 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>152 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
153 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>153 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
154 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>154 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
155 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>155 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
156 </​tr></​table>156 </​tr></​table>
157 <p>157 <p>
158 ·​<font·​size="-​1">158 ·​<font·​size="-​1">
159 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​159 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
160 ·​</​font>160 ·​</​font>
161 ·​<br>161 ·​<br>
  
162 </​p>162 </​p>
163 </​body>163 </​body>
164 </​html>164 </​html>
/usr/local/share/doc/proofgeneral/PG-adapting/PG-adapting_6.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 150, 14 lines modifiedOffset 150, 14 lines modified
150 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>150 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
151 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>151 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
152 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>152 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
153 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>153 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
154 </​tr></​table>154 </​tr></​table>
155 <p>155 <p>
156 ·​<font·​size="-​1">156 ·​<font·​size="-​1">
157 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​157 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
158 ·​</​font>158 ·​</​font>
159 ·​<br>159 ·​<br>
  
160 </​p>160 </​p>
161 </​body>161 </​body>
162 </​html>162 </​html>
/usr/local/share/doc/proofgeneral/PG-adapting/PG-adapting_12.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 126, 14 lines modifiedOffset 126, 14 lines modified
126 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>126 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
127 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>127 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
128 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>128 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
129 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>129 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
130 </​tr></​table>130 </​tr></​table>
131 <p>131 <p>
132 ·​<font·​size="-​1">132 ·​<font·​size="-​1">
133 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​133 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
134 ·​</​font>134 ·​</​font>
135 ·​<br>135 ·​<br>
  
136 </​p>136 </​p>
137 </​body>137 </​body>
138 </​html>138 </​html>
/usr/local/share/doc/proofgeneral/PG-adapting/PG-adapting_17.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 148, 14 lines modifiedOffset 148, 14 lines modified
148 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>148 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
149 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>149 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
150 <td·​valign="middle"·​align="left">[<a·​href="#Function-​Index"·​title="Index">Index</​a>]</​td>150 <td·​valign="middle"·​align="left">[<a·​href="#Function-​Index"·​title="Index">Index</​a>]</​td>
151 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>151 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
152 </​tr></​table>152 </​tr></​table>
153 <p>153 <p>
154 ·​<font·​size="-​1">154 ·​<font·​size="-​1">
155 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​155 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
156 ·​</​font>156 ·​</​font>
157 ·​<br>157 ·​<br>
  
158 </​p>158 </​p>
159 </​body>159 </​body>
160 </​html>160 </​html>
/usr/local/share/doc/proofgeneral/PG-adapting/PG-adapting_9.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 238, 14 lines modifiedOffset 238, 14 lines modified
238 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>238 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
239 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>239 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
240 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>240 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
241 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>241 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
242 </​tr></​table>242 </​tr></​table>
243 <p>243 <p>
244 ·​<font·​size="-​1">244 ·​<font·​size="-​1">
245 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​245 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
246 ·​</​font>246 ·​</​font>
247 ·​<br>247 ·​<br>
  
248 </​p>248 </​p>
249 </​body>249 </​body>
250 </​html>250 </​html>
/usr/local/share/doc/proofgeneral/PG-adapting/PG-adapting_8.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 103, 14 lines modifiedOffset 103, 14 lines modified
103 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>103 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
104 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>104 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
105 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>105 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
106 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>106 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
107 </​tr></​table>107 </​tr></​table>
108 <p>108 <p>
109 ·​<font·​size="-​1">109 ·​<font·​size="-​1">
110 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​110 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
111 ·​</​font>111 ·​</​font>
112 ·​<br>112 ·​<br>
  
113 </​p>113 </​p>
114 </​body>114 </​body>
115 </​html>115 </​html>
/usr/local/share/doc/proofgeneral/PG-adapting/PG-adapting_10.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 136, 14 lines modifiedOffset 136, 14 lines modified
136 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>136 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
137 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>137 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
138 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>138 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
139 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>139 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
140 </​tr></​table>140 </​tr></​table>
141 <p>141 <p>
142 ·​<font·​size="-​1">142 ·​<font·​size="-​1">
143 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​143 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
144 ·​</​font>144 ·​</​font>
145 ·​<br>145 ·​<br>
  
146 </​p>146 </​p>
147 </​body>147 </​body>
148 </​html>148 </​html>
/usr/local/share/doc/proofgeneral/PG-adapting/PG-adapting_abt.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 55, 15 lines modifiedOffset 55, 15 lines modified
55 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>55 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
56 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>56 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
57 <td·​valign="middle"·​align="left">[<a·​href="#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>57 <td·​valign="middle"·​align="left">[<a·​href="#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
58 </​tr></​table>58 </​tr></​table>
59 <h1>About·​This·​Document</​h1>59 <h1>About·​This·​Document</​h1>
  
60 <p>60 <p>
61 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​61 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
62 </​p>62 </​p>
63 <p>63 <p>
64 ··​The·​buttons·​in·​the·​navigation·​panels·​have·​the·​following·​meaning:​64 ··​The·​buttons·​in·​the·​navigation·​panels·​have·​the·​following·​meaning:​
65 </​p>65 </​p>
66 <table·​border="1">66 <table·​border="1">
67 ··​<tr>67 ··​<tr>
68 ····​<th>·​Button·​</​th>68 ····​<th>·​Button·​</​th>
Offset 163, 14 lines modifiedOffset 163, 14 lines modified
163 <tr><td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>163 <tr><td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
164 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>164 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
165 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>165 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
166 <td·​valign="middle"·​align="left">[<a·​href="#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>166 <td·​valign="middle"·​align="left">[<a·​href="#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
167 </​tr></​table>167 </​tr></​table>
168 <p>168 <p>
169 ·​<font·​size="-​1">169 ·​<font·​size="-​1">
170 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​170 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
171 ·​</​font>171 ·​</​font>
172 ·​<br>172 ·​<br>
  
173 </​p>173 </​p>
174 </​body>174 </​body>
175 </​html>175 </​html>
/usr/local/share/doc/proofgeneral/PG-adapting/PG-adapting_5.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 798, 14 lines modifiedOffset 798, 14 lines modified
798 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>798 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
799 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>799 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
800 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>800 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
801 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>801 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
802 </​tr></​table>802 </​tr></​table>
803 <p>803 <p>
804 ·​<font·​size="-​1">804 ·​<font·​size="-​1">
805 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​805 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
806 ·​</​font>806 ·​</​font>
807 ·​<br>807 ·​<br>
  
808 </​p>808 </​p>
809 </​body>809 </​body>
810 </​html>810 </​html>
/usr/local/share/doc/proofgeneral/PG-adapting/PG-adapting_18.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 271, 14 lines modifiedOffset 271, 14 lines modified
271 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>271 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
272 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>272 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_toc.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
273 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>273 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_17.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
274 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>274 <td·​valign="middle"·​align="left">[<a·​href="PG-​adapting_abt.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
275 </​tr></​table>275 </​tr></​table>
276 <p>276 <p>
277 ·​<font·​size="-​1">277 ·​<font·​size="-​1">
278 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​278 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
279 ·​</​font>279 ·​</​font>
280 ·​<br>280 ·​<br>
  
281 </​p>281 </​p>
282 </​body>282 </​body>
283 </​html>283 </​html>
/usr/local/share/doc/proofgeneral/ProofGeneral/ProofGeneral_15.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 250, 14 lines modifiedOffset 250, 14 lines modified
250 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>250 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
251 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>251 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
252 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>252 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
253 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>253 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
254 </​tr></​table>254 </​tr></​table>
255 <p>255 <p>
256 ·​<font·​size="-​1">256 ·​<font·​size="-​1">
257 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​257 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
258 ·​</​font>258 ·​</​font>
259 ·​<br>259 ·​<br>
  
260 </​p>260 </​p>
261 </​body>261 </​body>
262 </​html>262 </​html>
/usr/local/share/doc/proofgeneral/ProofGeneral/ProofGeneral_toc.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 59, 16 lines modifiedOffset 59, 16 lines modified
59 <h1>Table·​of·​Contents</​h1>59 <h1>Table·​of·​Contents</​h1>
  
60 <div·​class="contents">60 <div·​class="contents">
  
61 <ul·​class="no-​bullet">61 <ul·​class="no-​bullet">
62 ··​<li><a·​name="toc-​Preface-​1"·​href="ProofGeneral_1.​html#Preface">Preface​</​a>62 ··​<li><a·​name="toc-​Preface-​1"·​href="ProofGeneral_1.​html#Preface">Preface​</​a>
63 ··​<ul·​class="no-​bullet">63 ··​<ul·​class="no-​bullet">
64 ····​<li><a·​name="toc-​News-​for-​Version-​4_002e0-​1"·​href="ProofGeneral_1.​html#News-​for-​Version-​4_002e1">News·​for·​Version·​4.​0</​a></​li>64 ····​<li><a·​name="toc-​News-​for-​Version-​4_002e0-​2"·​href="ProofGeneral_1.​html#News-​for-​Version-​4_002e1">News·​for·​Version·​4.​0</​a></​li>
65 ····​<li><a·​name="toc-​News-​for-​Version-​4_002e0-​2"·​href="ProofGeneral_1.​html#News-​for-​Version-​4_002e0">News·​for·​Version·​4.​0</​a></​li>65 ····​<li><a·​name="toc-​News-​for-​Version-​4_002e0-​1"·​href="ProofGeneral_1.​html#News-​for-​Version-​4_002e0">News·​for·​Version·​4.​0</​a></​li>
66 ····​<li><a·​name="toc-​Future-​1"·​href="ProofGeneral_1.​html#Future">Future</​a></​li>66 ····​<li><a·​name="toc-​Future-​1"·​href="ProofGeneral_1.​html#Future">Future</​a></​li>
67 ····​<li><a·​name="toc-​Credits-​1"·​href="ProofGeneral_1.​html#Credits">Credits​</​a></​li>67 ····​<li><a·​name="toc-​Credits-​1"·​href="ProofGeneral_1.​html#Credits">Credits​</​a></​li>
68 ··​</​ul></​li>68 ··​</​ul></​li>
69 ··​<li><a·​name="toc-​Introducing-​Proof-​General-​1"·​href="ProofGeneral_2.​html#Introducing-​Proof-​General">1·​Introducing·​Proof·​General</​a>69 ··​<li><a·​name="toc-​Introducing-​Proof-​General-​1"·​href="ProofGeneral_2.​html#Introducing-​Proof-​General">1·​Introducing·​Proof·​General</​a>
70 ··​<ul·​class="no-​bullet">70 ··​<ul·​class="no-​bullet">
71 ····​<li><a·​name="toc-​Installing-​Proof-​General-​1"·​href="ProofGeneral_2.​html#Installing-​Proof-​General">1.​1·​Installing·​Proof·​General</​a></​li>71 ····​<li><a·​name="toc-​Installing-​Proof-​General-​1"·​href="ProofGeneral_2.​html#Installing-​Proof-​General">1.​1·​Installing·​Proof·​General</​a></​li>
72 ····​<li><a·​name="toc-​Quick-​start-​guide-​1"·​href="ProofGeneral_2.​html#Quick-​start-​guide">1.​2·​Quick·​start·​guide</​a></​li>72 ····​<li><a·​name="toc-​Quick-​start-​guide-​1"·​href="ProofGeneral_2.​html#Quick-​start-​guide">1.​2·​Quick·​start·​guide</​a></​li>
Offset 214, 14 lines modifiedOffset 214, 14 lines modified
214 <tr><td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>214 <tr><td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
215 <td·​valign="middle"·​align="left">[<a·​href="#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>215 <td·​valign="middle"·​align="left">[<a·​href="#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
216 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>216 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
217 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>217 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
218 </​tr></​table>218 </​tr></​table>
219 <p>219 <p>
220 ·​<font·​size="-​1">220 ·​<font·​size="-​1">
221 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​221 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
222 ·​</​font>222 ·​</​font>
223 ·​<br>223 ·​<br>
  
224 </​p>224 </​p>
225 </​body>225 </​body>
226 </​html>226 </​html>
/usr/local/share/doc/proofgeneral/ProofGeneral/ProofGeneral_12.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 375, 14 lines modifiedOffset 375, 14 lines modified
375 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>375 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
376 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>376 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
377 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>377 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
378 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>378 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
379 </​tr></​table>379 </​tr></​table>
380 <p>380 <p>
381 ·​<font·​size="-​1">381 ·​<font·​size="-​1">
382 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​382 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
383 ·​</​font>383 ·​</​font>
384 ·​<br>384 ·​<br>
  
385 </​p>385 </​p>
386 </​body>386 </​body>
387 </​html>387 </​html>
/usr/local/share/doc/proofgeneral/ProofGeneral/ProofGeneral_1.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 91, 28 lines modifiedOffset 91, 28 lines modified
91 </​td></​tr>91 </​td></​tr>
92 <tr><td·​align="left"·​valign="top"><a·​href="#Credits">Credi​ts</​a></​td><td>&nbsp;​&nbsp;​</​td><td·​align="left"·​valign="top">·····················92 <tr><td·​align="left"·​valign="top"><a·​href="#Credits">Credi​ts</​a></​td><td>&nbsp;​&nbsp;​</​td><td·​align="left"·​valign="top">·····················
93 </​td></​tr>93 </​td></​tr>
94 </​table>94 </​table>
  
95 <hr>95 <hr>
96 <a·​name="News-​for-​Version-​4_002e1"></​a>96 <a·​name="News-​for-​Version-​4_002e1"></​a>
97 <a·​name="News-​for-​Version-​4_002e0-​1"></​a>97 <a·​name="News-​for-​Version-​4_002e0-​2"></​a>
98 <h2·​class="unnumberedsec"​>News·​for·​Version·​4.​0</​h2>98 <h2·​class="unnumberedsec"​>News·​for·​Version·​4.​0</​h2>
99 <a·​name="index-​news"></​a>99 <a·​name="index-​news"></​a>
  
100 <p>Proof·​General·​version·​4.​1·​adds·​some·​compatibility·​fixes·​to100 <p>Proof·​General·​version·​4.​1·​adds·​some·​compatibility·​fixes·​to
101 Proof·​General·​4.​0,​·​specifically·​for·​Coq·​version·​8.​3101 Proof·​General·​4.​0,​·​specifically·​for·​Coq·​version·​8.​3
102 and·​Isabelle·​2011.​102 and·​Isabelle·​2011.​
103 </​p>103 </​p>
104 <p>It·​also·​contains·​a·​new·​implementation·​of·​multiple·​file·​handling104 <p>It·​also·​contains·​a·​new·​implementation·​of·​multiple·​file·​handling
105 for·​Coq·​provided·​by·​Hendrik·​Tews.​105 for·​Coq·​provided·​by·​Hendrik·​Tews.​
106 </​p>106 </​p>
107 <hr>107 <hr>
108 <a·​name="News-​for-​Version-​4_002e0"></​a>108 <a·​name="News-​for-​Version-​4_002e0"></​a>
109 <a·​name="News-​for-​Version-​4_002e0-​2"></​a>109 <a·​name="News-​for-​Version-​4_002e0-​1"></​a>
110 <h2·​class="unnumberedsec"​>News·​for·​Version·​4.​0</​h2>110 <h2·​class="unnumberedsec"​>News·​for·​Version·​4.​0</​h2>
111 <a·​name="index-​news-​1"></​a>111 <a·​name="index-​news-​1"></​a>
  
112 <p>Proof·​General·​version·​4.​0·​is·​a·​major·​overhaul·​of·​Proof·​General.​112 <p>Proof·​General·​version·​4.​0·​is·​a·​major·​overhaul·​of·​Proof·​General.​
113 The·​main·​changes·​are:​113 The·​main·​changes·​are:​
114 </​p><ul>114 </​p><ul>
115 <li>·​support·​for·​GNU·​Emacs·​only,​·​<b>you·​cannot·​use·​XEmacs·​any·​more</​b>;​115 <li>·​support·​for·​GNU·​Emacs·​only,​·​<b>you·​cannot·​use·​XEmacs·​any·​more</​b>;​
Offset 285, 14 lines modifiedOffset 285, 14 lines modified
285 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>285 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
286 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>286 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
287 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>287 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
288 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>288 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
289 </​tr></​table>289 </​tr></​table>
290 <p>290 <p>
291 ·​<font·​size="-​1">291 ·​<font·​size="-​1">
292 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​292 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
293 ·​</​font>293 ·​</​font>
294 ·​<br>294 ·​<br>
  
295 </​p>295 </​p>
296 </​body>296 </​body>
297 </​html>297 </​html>
/usr/local/share/doc/proofgeneral/ProofGeneral/ProofGeneral_fot.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 93, 14 lines modifiedOffset 93, 14 lines modified
93 <tr><td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>93 <tr><td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
94 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>94 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
95 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>95 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
96 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>96 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
97 </​tr></​table>97 </​tr></​table>
98 <p>98 <p>
99 ·​<font·​size="-​1">99 ·​<font·​size="-​1">
100 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​100 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
101 ·​</​font>101 ·​</​font>
102 ·​<br>102 ·​<br>
  
103 </​p>103 </​p>
104 </​body>104 </​body>
105 </​html>105 </​html>
/usr/local/share/doc/proofgeneral/ProofGeneral/ProofGeneral_14.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 108, 14 lines modifiedOffset 108, 14 lines modified
108 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>108 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
109 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>109 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
110 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>110 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
111 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>111 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
112 </​tr></​table>112 </​tr></​table>
113 <p>113 <p>
114 ·​<font·​size="-​1">114 ·​<font·​size="-​1">
115 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​115 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
116 ·​</​font>116 ·​</​font>
117 ·​<br>117 ·​<br>
  
118 </​p>118 </​p>
119 </​body>119 </​body>
120 </​html>120 </​html>
/usr/local/share/doc/proofgeneral/ProofGeneral/ProofGeneral_20.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 173, 14 lines modifiedOffset 173, 14 lines modified
173 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>173 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
174 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>174 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
175 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>175 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
176 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>176 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
177 </​tr></​table>177 </​tr></​table>
178 <p>178 <p>
179 ·​<font·​size="-​1">179 ·​<font·​size="-​1">
180 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​180 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
181 ·​</​font>181 ·​</​font>
182 ·​<br>182 ·​<br>
  
183 </​p>183 </​p>
184 </​body>184 </​body>
185 </​html>185 </​html>
/usr/local/share/doc/proofgeneral/ProofGeneral/ProofGeneral_8.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 776, 14 lines modifiedOffset 776, 14 lines modified
776 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>776 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
777 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>777 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
778 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>778 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
779 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>779 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
780 </​tr></​table>780 </​tr></​table>
781 <p>781 <p>
782 ·​<font·​size="-​1">782 ·​<font·​size="-​1">
783 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​783 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
784 ·​</​font>784 ·​</​font>
785 ·​<br>785 ·​<br>
  
786 </​p>786 </​p>
787 </​body>787 </​body>
788 </​html>788 </​html>
/usr/local/share/doc/proofgeneral/ProofGeneral/ProofGeneral_10.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 181, 14 lines modifiedOffset 181, 14 lines modified
181 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>181 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
182 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>182 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
183 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>183 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
184 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>184 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
185 </​tr></​table>185 </​tr></​table>
186 <p>186 <p>
187 ·​<font·​size="-​1">187 ·​<font·​size="-​1">
188 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​188 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
189 ·​</​font>189 ·​</​font>
190 ·​<br>190 ·​<br>
  
191 </​p>191 </​p>
192 </​body>192 </​body>
193 </​html>193 </​html>
/usr/local/share/doc/proofgeneral/ProofGeneral/ProofGeneral_7.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 172, 14 lines modifiedOffset 172, 14 lines modified
172 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>172 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
173 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>173 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
174 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>174 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
175 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>175 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
176 </​tr></​table>176 </​tr></​table>
177 <p>177 <p>
178 ·​<font·​size="-​1">178 ·​<font·​size="-​1">
179 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​179 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
180 ·​</​font>180 ·​</​font>
181 ·​<br>181 ·​<br>
  
182 </​p>182 </​p>
183 </​body>183 </​body>
184 </​html>184 </​html>
/usr/local/share/doc/proofgeneral/ProofGeneral/ProofGeneral_13.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 114, 14 lines modifiedOffset 114, 14 lines modified
114 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>114 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
115 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>115 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
116 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>116 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
117 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>117 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
118 </​tr></​table>118 </​tr></​table>
119 <p>119 <p>
120 ·​<font·​size="-​1">120 ·​<font·​size="-​1">
121 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​121 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
122 ·​</​font>122 ·​</​font>
123 ·​<br>123 ·​<br>
  
124 </​p>124 </​p>
125 </​body>125 </​body>
126 </​html>126 </​html>
/usr/local/share/doc/proofgeneral/ProofGeneral/ProofGeneral_16.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 98, 14 lines modifiedOffset 98, 14 lines modified
98 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>98 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
99 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>99 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
100 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>100 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
101 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>101 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
102 </​tr></​table>102 </​tr></​table>
103 <p>103 <p>
104 ·​<font·​size="-​1">104 ·​<font·​size="-​1">
105 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​105 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
106 ·​</​font>106 ·​</​font>
107 ·​<br>107 ·​<br>
  
108 </​p>108 </​p>
109 </​body>109 </​body>
110 </​html>110 </​html>
/usr/local/share/doc/proofgeneral/ProofGeneral/ProofGeneral_11.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 694, 14 lines modifiedOffset 694, 14 lines modified
694 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>694 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
695 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>695 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
696 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>696 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
697 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>697 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
698 </​tr></​table>698 </​tr></​table>
699 <p>699 <p>
700 ·​<font·​size="-​1">700 ·​<font·​size="-​1">
701 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​701 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
702 ·​</​font>702 ·​</​font>
703 ·​<br>703 ·​<br>
  
704 </​p>704 </​p>
705 </​body>705 </​body>
706 </​html>706 </​html>
/usr/local/share/doc/proofgeneral/ProofGeneral/ProofGeneral_9.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 280, 14 lines modifiedOffset 280, 14 lines modified
280 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>280 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
281 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>281 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
282 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>282 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
283 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>283 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
284 </​tr></​table>284 </​tr></​table>
285 <p>285 <p>
286 ·​<font·​size="-​1">286 ·​<font·​size="-​1">
287 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​287 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
288 ·​</​font>288 ·​</​font>
289 ·​<br>289 ·​<br>
  
290 </​p>290 </​p>
291 </​body>291 </​body>
292 </​html>292 </​html>
/usr/local/share/doc/proofgeneral/ProofGeneral/ProofGeneral_22.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 317, 14 lines modifiedOffset 317, 14 lines modified
317 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>317 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
318 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>318 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
319 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>319 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
320 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>320 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
321 </​tr></​table>321 </​tr></​table>
322 <p>322 <p>
323 ·​<font·​size="-​1">323 ·​<font·​size="-​1">
324 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​324 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
325 ·​</​font>325 ·​</​font>
326 ·​<br>326 ·​<br>
  
327 </​p>327 </​p>
328 </​body>328 </​body>
329 </​html>329 </​html>
/usr/local/share/doc/proofgeneral/ProofGeneral/ProofGeneral_abt.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 55, 15 lines modifiedOffset 55, 15 lines modified
55 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>55 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
56 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>56 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
57 <td·​valign="middle"·​align="left">[<a·​href="#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>57 <td·​valign="middle"·​align="left">[<a·​href="#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
58 </​tr></​table>58 </​tr></​table>
59 <h1>About·​This·​Document</​h1>59 <h1>About·​This·​Document</​h1>
  
60 <p>60 <p>
61 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​61 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
62 </​p>62 </​p>
63 <p>63 <p>
64 ··​The·​buttons·​in·​the·​navigation·​panels·​have·​the·​following·​meaning:​64 ··​The·​buttons·​in·​the·​navigation·​panels·​have·​the·​following·​meaning:​
65 </​p>65 </​p>
66 <table·​border="1">66 <table·​border="1">
67 ··​<tr>67 ··​<tr>
68 ····​<th>·​Button·​</​th>68 ····​<th>·​Button·​</​th>
Offset 163, 14 lines modifiedOffset 163, 14 lines modified
163 <tr><td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>163 <tr><td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
164 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>164 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
165 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>165 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
166 <td·​valign="middle"·​align="left">[<a·​href="#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>166 <td·​valign="middle"·​align="left">[<a·​href="#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
167 </​tr></​table>167 </​tr></​table>
168 <p>168 <p>
169 ·​<font·​size="-​1">169 ·​<font·​size="-​1">
170 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​170 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
171 ·​</​font>171 ·​</​font>
172 ·​<br>172 ·​<br>
  
173 </​p>173 </​p>
174 </​body>174 </​body>
175 </​html>175 </​html>
/usr/local/share/doc/proofgeneral/ProofGeneral/ProofGeneral_2.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 396, 14 lines modifiedOffset 396, 14 lines modified
396 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>396 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
397 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>397 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
398 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>398 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
399 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>399 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
400 </​tr></​table>400 </​tr></​table>
401 <p>401 <p>
402 ·​<font·​size="-​1">402 ·​<font·​size="-​1">
403 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​403 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
404 ·​</​font>404 ·​</​font>
405 ·​<br>405 ·​<br>
  
406 </​p>406 </​p>
407 </​body>407 </​body>
408 </​html>408 </​html>
/usr/local/share/doc/proofgeneral/ProofGeneral/ProofGeneral_23.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 187, 14 lines modifiedOffset 187, 14 lines modified
187 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>187 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
188 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>188 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
189 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>189 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
190 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>190 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
191 </​tr></​table>191 </​tr></​table>
192 <p>192 <p>
193 ·​<font·​size="-​1">193 ·​<font·​size="-​1">
194 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​194 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
195 ·​</​font>195 ·​</​font>
196 ·​<br>196 ·​<br>
  
197 </​p>197 </​p>
198 </​body>198 </​body>
199 </​html>199 </​html>
/usr/local/share/doc/proofgeneral/ProofGeneral/ProofGeneral_4.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 608, 14 lines modifiedOffset 608, 14 lines modified
608 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>608 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
609 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>609 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
610 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>610 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
611 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>611 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
612 </​tr></​table>612 </​tr></​table>
613 <p>613 <p>
614 ·​<font·​size="-​1">614 ·​<font·​size="-​1">
615 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​615 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
616 ·​</​font>616 ·​</​font>
617 ·​<br>617 ·​<br>
  
618 </​p>618 </​p>
619 </​body>619 </​body>
620 </​html>620 </​html>
/usr/local/share/doc/proofgeneral/ProofGeneral/ProofGeneral_5.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 518, 14 lines modifiedOffset 518, 14 lines modified
518 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>518 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
519 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>519 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
520 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>520 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
521 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>521 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
522 </​tr></​table>522 </​tr></​table>
523 <p>523 <p>
524 ·​<font·​size="-​1">524 ·​<font·​size="-​1">
525 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​525 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
526 ·​</​font>526 ·​</​font>
527 ·​<br>527 ·​<br>
  
528 </​p>528 </​p>
529 </​body>529 </​body>
530 </​html>530 </​html>
/usr/local/share/doc/proofgeneral/ProofGeneral/ProofGeneral_3.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 1108, 14 lines modifiedOffset 1108, 14 lines modified
1108 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>1108 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
1109 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>1109 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
1110 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>1110 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
1111 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>1111 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
1112 </​tr></​table>1112 </​tr></​table>
1113 <p>1113 <p>
1114 ·​<font·​size="-​1">1114 ·​<font·​size="-​1">
1115 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​1115 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
1116 ·​</​font>1116 ·​</​font>
1117 ·​<br>1117 ·​<br>
  
1118 </​p>1118 </​p>
1119 </​body>1119 </​body>
1120 </​html>1120 </​html>
/usr/local/share/doc/proofgeneral/ProofGeneral/ProofGeneral_21.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 153, 14 lines modifiedOffset 153, 14 lines modified
153 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>153 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
154 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>154 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
155 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>155 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
156 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>156 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
157 </​tr></​table>157 </​tr></​table>
158 <p>158 <p>
159 ·​<font·​size="-​1">159 ·​<font·​size="-​1">
160 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​160 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
161 ·​</​font>161 ·​</​font>
162 ·​<br>162 ·​<br>
  
163 </​p>163 </​p>
164 </​body>164 </​body>
165 </​html>165 </​html>
/usr/local/share/doc/proofgeneral/ProofGeneral/ProofGeneral_19.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 188, 14 lines modifiedOffset 188, 14 lines modified
188 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>188 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
189 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>189 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
190 <td·​valign="middle"·​align="left">[<a·​href="#Function-​Index"·​title="Index">Index</​a>]</​td>190 <td·​valign="middle"·​align="left">[<a·​href="#Function-​Index"·​title="Index">Index</​a>]</​td>
191 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>191 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
192 </​tr></​table>192 </​tr></​table>
193 <p>193 <p>
194 ·​<font·​size="-​1">194 ·​<font·​size="-​1">
195 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​195 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
196 ·​</​font>196 ·​</​font>
197 ·​<br>197 ·​<br>
  
198 </​p>198 </​p>
199 </​body>199 </​body>
200 </​html>200 </​html>
/usr/local/share/doc/proofgeneral/ProofGeneral/ProofGeneral_6.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 325, 14 lines modifiedOffset 325, 14 lines modified
325 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>325 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
326 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>326 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
327 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>327 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
328 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>328 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
329 </​tr></​table>329 </​tr></​table>
330 <p>330 <p>
331 ·​<font·​size="-​1">331 ·​<font·​size="-​1">
332 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​332 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
333 ·​</​font>333 ·​</​font>
334 ·​<br>334 ·​<br>
  
335 </​p>335 </​p>
336 </​body>336 </​body>
337 </​html>337 </​html>
/usr/local/share/doc/proofgeneral/ProofGeneral/ProofGeneral_17.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 112, 14 lines modifiedOffset 112, 14 lines modified
112 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>112 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
113 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>113 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
114 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>114 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
115 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>115 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
116 </​tr></​table>116 </​tr></​table>
117 <p>117 <p>
118 ·​<font·​size="-​1">118 ·​<font·​size="-​1">
119 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​119 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
120 ·​</​font>120 ·​</​font>
121 ·​<br>121 ·​<br>
  
122 </​p>122 </​p>
123 </​body>123 </​body>
124 </​html>124 </​html>
/usr/local/share/doc/proofgeneral/ProofGeneral/ProofGeneral_18.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 430, 14 lines modifiedOffset 430, 14 lines modified
430 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>430 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral.​html#Top"·​title="Cover·​(top)​·​of·​document">Top</​a>]</​td>
431 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>431 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
432 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>432 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
433 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>433 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
434 </​tr></​table>434 </​tr></​table>
435 <p>435 <p>
436 ·​<font·​size="-​1">436 ·​<font·​size="-​1">
437 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​437 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
438 ·​</​font>438 ·​</​font>
439 ·​<br>439 ·​<br>
  
440 </​p>440 </​p>
441 </​body>441 </​body>
442 </​html>442 </​html>
/usr/local/share/doc/proofgeneral/ProofGeneral/ProofGeneral.html
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​html·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <html>2 <html>
3 <!-​-​·​Created·​on·​June·​10,​·​2016·​by·​texi2html·​5.​03 <!-​-​·​Created·​on·​June·​12,​·​2016·​by·​texi2html·​5.​0
4 texi2html·​was·​written·​by:​·4 texi2html·​was·​written·​by:​·
5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​5 ············​Lionel·​Cons·​<Lionel.​Cons@cern.​ch>·​(original·​author)​
6 ············​Karl·​Berry··​<karl@freefriends.​org>6 ············​Karl·​Berry··​<karl@freefriends.​org>
7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>7 ············​Olaf·​Bachmann·​<obachman@mathematik.​uni-​kl.​de>
8 ············​and·​many·​others.​8 ············​and·​many·​others.​
9 Maintained·​by:​·​Many·​creative·​people.​9 Maintained·​by:​·​Many·​creative·​people.​
10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>10 Send·​bugs·​and·​suggestions·​to·​<texi2html-​bug@nongnu.​org>
Offset 159, 14 lines modifiedOffset 159, 14 lines modified
159 <td·​valign="middle"·​align="left">·​&nbsp;​·​</​td>159 <td·​valign="middle"·​align="left">·​&nbsp;​·​</​td>
160 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>160 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_to​c.​html#SEC_Contents"·​title="Table·​of·​contents">Contents</​a>]</​td>
161 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>161 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_19​.​html#Function-​Index"·​title="Index">Index</​a>]</​td>
162 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>162 <td·​valign="middle"·​align="left">[<a·​href="ProofGeneral_ab​t.​html#SEC_About"·​title="About·​(help)​">·​?·​</​a>]</​td>
163 </​tr></​table>163 </​tr></​table>
164 <p>164 <p>
165 ·​<font·​size="-​1">165 ·​<font·​size="-​1">
166 ··​This·​document·​was·​generated·​on·​<i>June·​10,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​166 ··​This·​document·​was·​generated·​on·​<i>June·​12,​·​2016</​i>·​using·​<a·​href="http:​/​/​www.​nongnu.​org/​texi2html/​"><i>texi2html·​5.​0</​i></​a>.​
167 ·​</​font>167 ·​</​font>
168 ·​<br>168 ·​<br>
  
169 </​p>169 </​p>
170 </​body>170 </​body>
171 </​html>171 </​html>