stefsiekman/promas-documenter

Issues

• Unknown user

  #15 opened 6 years ago by stefsiekman
  0

• Properly generate pages with predicate overrides

  #3 opened 6 years ago by stefsiekman
  0

• Read complicated static predicates

  #4 opened 6 years ago by stefsiekman
  0

• Override static predicate definitions

  #13 opened 6 years ago by stefsiekman
  0

• Generate LaTeX table

  #12 opened 6 years ago by stefsiekman
  0

• Predicate merging

  #2 opened 6 years ago by stefsiekman
  0

• Infer user from prolog filename

  #5 opened 6 years ago by stefsiekman
  0

• Incorrect sorting

  #10 opened 6 years ago by stefsiekman
  0

• Deprecated flag

  #1 opened 6 years ago by stefsiekman
  1

• Hide unprovided information

  #6 opened 6 years ago by stefsiekman
  1

• Error when running from the new master

  #7 opened 6 years ago by stefsiekman
  0