| Offset 1, 1 lines modified | Offset 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·✂ |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 155, 14 lines modified | ||
| 155 | <td·valign="middle"·align="left">· ·</td> | 155 | <td·valign="middle"·align="left">· ·</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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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·1 | 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 modified | Offset 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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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_toc.html#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 251 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_toc.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_abt.html#SEC_About"·title="About·(help)">·?·</a>]</td> | 253 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_abt.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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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- | 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- | 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 modified | Offset 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_abt.html#SEC_About"·title="About·(help)">·?·</a>]</td> | 217 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_abt.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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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_toc.html#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 376 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_toc.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_abt.html#SEC_About"·title="About·(help)">·?·</a>]</td> | 378 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_abt.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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 91, 28 lines modified | ||
| 91 | </td></tr> | 91 | </td></tr> |
| 92 | <tr><td·align="left"·valign="top"><a·href="#Credits">Credits</a></td><td> </td><td·align="left"·valign="top">····················· | 92 | <tr><td·align="left"·valign="top"><a·href="#Credits">Credits</a></td><td> </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- | 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·to | 100 | <p>Proof·General·version·4.1·adds·some·compatibility·fixes·to |
| 101 | Proof·General·4.0,·specifically·for·Coq·version·8.3 | 101 | 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·handling | 104 | <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- | 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 modified | Offset 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_toc.html#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 286 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_toc.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_abt.html#SEC_About"·title="About·(help)">·?·</a>]</td> | 288 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_abt.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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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_toc.html#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 94 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_toc.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_abt.html#SEC_About"·title="About·(help)">·?·</a>]</td> | 96 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_abt.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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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_toc.html#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 109 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_toc.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_abt.html#SEC_About"·title="About·(help)">·?·</a>]</td> | 111 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_abt.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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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_toc.html#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 174 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_toc.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_abt.html#SEC_About"·title="About·(help)">·?·</a>]</td> | 176 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_abt.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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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_toc.html#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 777 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_toc.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_abt.html#SEC_About"·title="About·(help)">·?·</a>]</td> | 779 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_abt.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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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_toc.html#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 182 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_toc.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_abt.html#SEC_About"·title="About·(help)">·?·</a>]</td> | 184 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_abt.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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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_toc.html#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 173 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_toc.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_abt.html#SEC_About"·title="About·(help)">·?·</a>]</td> | 175 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_abt.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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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_toc.html#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 115 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_toc.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_abt.html#SEC_About"·title="About·(help)">·?·</a>]</td> | 117 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_abt.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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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_toc.html#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 99 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_toc.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_abt.html#SEC_About"·title="About·(help)">·?·</a>]</td> | 101 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_abt.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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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_toc.html#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 695 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_toc.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_abt.html#SEC_About"·title="About·(help)">·?·</a>]</td> | 697 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_abt.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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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_toc.html#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 281 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_toc.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_abt.html#SEC_About"·title="About·(help)">·?·</a>]</td> | 283 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_abt.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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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_toc.html#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 318 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_toc.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_abt.html#SEC_About"·title="About·(help)">·?·</a>]</td> | 320 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_abt.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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 55, 15 lines modified | ||
| 55 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_toc.html#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 55 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_toc.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·1 | 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 modified | Offset 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_toc.html#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 164 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_toc.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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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_toc.html#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 397 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_toc.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_abt.html#SEC_About"·title="About·(help)">·?·</a>]</td> | 399 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_abt.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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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_toc.html#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 188 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_toc.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_abt.html#SEC_About"·title="About·(help)">·?·</a>]</td> | 190 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_abt.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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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_toc.html#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 609 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_toc.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_abt.html#SEC_About"·title="About·(help)">·?·</a>]</td> | 611 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_abt.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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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_toc.html#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 519 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_toc.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_abt.html#SEC_About"·title="About·(help)">·?·</a>]</td> | 521 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_abt.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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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_toc.html#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 1109 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_toc.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_abt.html#SEC_About"·title="About·(help)">·?·</a>]</td> | 1111 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_abt.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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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_toc.html#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 154 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_toc.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_abt.html#SEC_About"·title="About·(help)">·?·</a>]</td> | 156 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_abt.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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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_toc.html#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 189 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_toc.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_abt.html#SEC_About"·title="About·(help)">·?·</a>]</td> | 191 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_abt.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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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_toc.html#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 326 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_toc.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_abt.html#SEC_About"·title="About·(help)">·?·</a>]</td> | 328 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_abt.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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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_toc.html#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 113 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_toc.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_abt.html#SEC_About"·title="About·(help)">·?·</a>]</td> | 115 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_abt.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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 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_toc.html#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 431 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_toc.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_abt.html#SEC_About"·title="About·(help)">·?·</a>]</td> | 433 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_abt.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·1 | 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> |
| Offset 1, 10 lines modified | Offset 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·1 | 3 | <!--·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 modified | Offset 159, 14 lines modified | ||
| 159 | <td·valign="middle"·align="left">· ·</td> | 159 | <td·valign="middle"·align="left">· ·</td> |
| 160 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_toc.html#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 160 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_toc.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_abt.html#SEC_About"·title="About·(help)">·?·</a>]</td> | 162 | <td·valign="middle"·align="left">[<a·href="ProofGeneral_abt.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·1 | 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> |