Mercurial > urweb
diff src/coq/README @ 1452:aae3e3b6a408
Add two html elements: sup and sub
author | Karn Kallio <kkallio@eka> |
---|---|
date | Mon, 18 Apr 2011 01:21:48 -0430 |
parents | de8333ef1a0c |
children | 705cb41ac7d0 |
author | Karn Kallio <kkallio@eka> |
---|---|
date | Mon, 18 Apr 2011 01:21:48 -0430 |
parents | de8333ef1a0c |
children | 705cb41ac7d0 |