source: report/styles

h2010
Name Size Rev Age Author Last Change
../
code.sty 2.3 KB 8ecaaa1   16 years simonpj Add style files
grammar.sty 4.1 KB 50f8b42   16 years Manuel Chakravarty Imported the grammar style used by the FFI Addendum (v0.5a)
proof.sty 9.2 KB 8ecaaa1   16 years simonpj Add style files
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.