loa

Virtual machine for the Logic of Assumptions
git clone git://juanmeleiro.mat.br/loa
Log | Files | Refs

.gitignore (78B)

      1 *.aux
      2 *.log
      3 *.out
      4 *.bcf
      5 *.run.xml
      6 *.bbl
      7 *.blg
      8 *.rubbercache
      9 *.toc
     10 *.pdf
     11 .redo