George Renumber Lines

Tool for changing the line labels in a George proof to be consecutive.

Usage

Simple

You can directly use the renumberLines function from GeorgeRenumberLines.js, passing in the proof as a string as the first argument and an optional object specifying options as the second argument. This can be run inside the browser console or in Node.js.

For example:

const result = renumberLines(
`a) something premise
b) something_else by rule on a`);
/* result:
1) something premise
2) something_else by rule on 1
*/

Userscript

You can also install the userscript that updates the Ask George and Boole interfaces. This can be done by installing a userscript manager like Tampermonkey and then installing GeorgeRenumberLines.user.js (just click the link to be prompted to install).

After installation, when you select a proof in Ask George or Boole and press Ctrl + Q (or Command + Q), that proof will be renumbered.

Press Ctrl/Command + Shift + Q to select additional options before renumbering the selected proof text. You will be given an option to save these options for future uses of Ctrl/Command + Q.