Command-List

The "/srchsetup" page:

Configure the search engine. Requires Admin privilege.
iCAS Bundled REDUCE Scripts
[ Homepage | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]