Project

General

Profile

« Previous | Next » 

Revision e928d370

IDe928d370587e97e2a9988536a69fc5b649b6c5d9
Parent c9ed384b
Child cf70b199

Added by Hans-Peter Deifel 9 months ago

Improve 'verify' subcommand of main program

- Show a prompt before each input.
- Don't die if the verification of a formula fails. Show an error
instead and accept the next input.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences