klembot/paperthin

Issues

• Allow a "Save" format that writes the proof to a file instead of just displaying onscreen

  #2 opened 6 years ago by danieltalsky
  0

• Could passage titles be made selectable?

  #1 opened 9 years ago by klembot
  1