diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2011-11-08 17:49:20 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2011-11-08 17:49:20 +0000 |
commit | d2c01819c1b13213450c0427a0d3b6b87af24a3f (patch) | |
tree | 93e1014e489d96253b05137637c5092735a715e7 /doc/proofgen.css | |
parent | fcf51e91fe9bb2e630b03678271e542ed031b0ac (diff) |
added utf8 quantifiers for indentation + small fix in indentation.
Diffstat (limited to 'doc/proofgen.css')
0 files changed, 0 insertions, 0 deletions