Mercurial > cpdt > repo
diff src/GeneralRec.v @ 533:8921cfa2f503
Use TeX magic to prevent -- from being displayed as an en dash
author | Cl?ment Pit--Claudel <clement.pitclaudel@live.com> |
---|---|
date | Tue, 07 Apr 2015 18:59:24 -0400 |
parents | 8f9f1e5b2fe3 |
children | ed829eaa91b2 |