Mercurial > cpdt > repo
diff src/Intro.v @ 540:582bf8d4ce51
Fuller English fix
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 15 Aug 2015 15:59:02 -0400 |
parents | dac7a2705b00 |
children | 71b85aaae868 |
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 15 Aug 2015 15:59:02 -0400 |
parents | dac7a2705b00 |
children | 71b85aaae868 |