Add indexes and fix small bugs
Showing
- .gitignore 3 additions, 0 deletions.gitignore
- spec/alethe_rules.tex 11 additions, 12 deletionsspec/alethe_rules.tex
- spec/changelog.tex 2 additions, 2 deletionsspec/changelog.tex
- spec/publications.bib 1 addition, 1 deletionspec/publications.bib
- spec/rule_index_style.ist 2 additions, 0 deletionsspec/rule_index_style.ist
- spec/spec.tex 44 additions, 24 deletionsspec/spec.tex
Loading
Please register or sign in to comment