Hans-Peter Deifel
authored
- 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.
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| coalg | ||
| coalgcompare | ||
| debugger | ||
| lib | ||
| ncurses | ||
| owl | ||
| repl-example | ||
| testsuite | ||
| .dir-locals.el | ||