-
-all, 3.4, 3.4, 4.1
- __all, 3.3.8
- -alternation, 4.1
- -no-alternation, 3.3.4, 3.3.4, 3.3.4, 3.3.4, 3.3.7, 4.1
- auto2pl, 3.3.8
- auto2pl, 3.3.6, 3.3.7, 3.3.8
- -body-chop, 4.1
- -check-h1, 3.2, 3.2, 3.4, 3.4, 4.1
- -complete, 3.3.8
- cpp, 3.2, 3.2, 3.2, 3.2, 3.2
- -deep-abbrv, 4.1
- -no-deep-abbrv, 4.1
- -first, 4.1
- grep, 3.2
- -h, 4.1
- h1.pgr, 4.1, 4.1
- h1mon, 4.1, 4.1
- h1trace, 3.2, 3.3.3
- less, 3.1
- -log-out, 3.3.3, 3.4, 4.1, 4.1, 4.1
- -log, 4.1, 4.1
- -no-log, 4.1
|
- -model, 3.3.4, 4.1, 4.1
- -no-model, 4.1
- -monadic-proxy, 4.1
- -path-refine, 4.1
- pl2gastex, 3.3.1, 3.3.4, 3.3.4, 3.3.6, 3.3.8, 3.3.8
- pl2tptp, 3.3.4, 3.3.7
- pldet, 3.3.6, 3.3.7, 3.3.8
- plpurge, 3.3.5
- -no-progress, 4.1
- -progress, 4.1, 4.1
- -no-resolve, 3.4, 3.4, 3.4, 4.1
- -resolve, 4.1
- sort, 3.3.8
- -no-sort-simplify, 4.1
- -sort-simplify, 4.1
- -standard-approx, 4.1
- ⊤, see __all
- -no-trim, 3.3, 3.3, 3.3.2, 3.3.3, 3.3.4, 3.3.4, 3.3.4, 3.3.7, 3.3.7, 3.3.8, 4.1, 4.1
- -trim, 3.3, 4.1
- twopi, 3.3.7
- -v, 4.1
- watch, 4.1, 4.1
|
