maude(1) on Linux
The text 946c59200715, as Debian 13 (Trixie), Debian 12 (Bookworm), Debian 11 (Bullseye), Debian 10 (Buster), Debian 9 (Stretch), Debian 8 (Jessie), Debian 7 (Wheezy) shipped it. The page shows this text now.
A high-performance logical framework
Flags it lists
-
--help -
--version -
-ansi-color -
-batch -
-interactive -
-no-advice -
-no-ansi-color -
-no-banner -
-no-mixfix -
-no-prelude -
-no-tecla -
-no-wrap -
-random-seed -
-tecla -
-xml-log