| commit | a5ffeb69ab814618d9b4d77eba3aa2e03b1b9625 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Sat Sep 01 22:36:29 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Sat Sep 01 22:36:29 2001 +0000 |
| tree | 32e0aefa3cd84aa01e6f27b8f67bb6558a2c778c | |
| parent | 822218b400d0f77636592e6786f9bb4f8fad6a43 [diff] |
Added preferences/startup options for division warning and accepting unix-style newlines on input.