Contents: Manual

• Installation 2003/2/28
  • Before You Start 1998/3/4
  • Local Configuration 2003/2/28
    • Unix 2003/2/28
    • WindowsXP 2003/2/28
    • Windows2000 2003/2/28
    • WindowsNT40 2003/2/28
    • ....and 3 more ....
  • Icons 2001/3/22
  • Confidence Tests 2001/3/22
  • Trouble Shooting 1998/3/4
• User Guide 1998/4/3
• Reference 2004/1/12
  • Invocation 2003/2/26
    • minerva 1998/8/13
    • minervad 2002/3/20
    • minervagui 1998/8/13
    • minervac 2003/2/26
    • ....and 6 more ....
  • Predicates 2004/1/12
    • Arithmetic comparison 1998/8/5
      • =:=/2, =\=/2, >/2, >=/2, </2, =</2 1998/8/5
    • Arithmetic evaluation 2003/2/26
      • for/3 1997/6/22
      • is/2 2003/2/26
    • Atomic term processing 2003/7/8
      • atom_chars/2 1998/8/11
      • atom_codes/2 1998/8/5
      • atom_concat/3 1997/6/22
      • atom_concat/2 2002/5/22
      • ....and 11 more ....
    • Text Processing and Regular Expressions 2002/7/4
      • match/2/3 1999/5/10
      • match_all/3 1999/5/10
      • substitute/4 1999/5/10
      • substitute_all/4 2002/7/4
      • ....and 3 more ....
    • ....and 24 more ....
  • Directives 2003/2/27
    • builtin 2002/3/20
    • dynamic 2003/2/26
    • external 2002/3/20
    • include 2002/3/20
    • ....and 7 more ....
  • Arithmetic 2002/3/20
  • ....and 12 more ....
• Release Notes 2003/2/28
  • MINERVA2.4 2003/2/28
  • MINERVA2.3 2002/3/20
  • MINERVA2.2 2002/3/11
  • MINERVA2.1 1999/10/8
  • ....and 5 more ....
• Problem Report 1998/3/4