Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-11-30 | proof: don't confuse ""(1) (thanks Stuart Morrow) | Ori Bernstein | |
"" looks for patterns in the form 'prompt;' or 'prompt%', and gets confused when proof emits 'illegal;'. This change replaces the ';' with a ':', which both matches other conventional error outputs and prevents "" from getting confused. | |||
2016-11-17 | cmd: remove a bit of unused stuff | ftrvxmtrx | |
2011-03-30 | Import sources from 2011-03-30 iso image - lib | Taru Karttunen | |
2011-03-30 | Import sources from 2011-03-30 iso image | Taru Karttunen | |