annotate examples/remotePagerMain.urs @ 34:2d195bee1efa

CKeditor wrapper
author Adam Chlipala <adam@chlipala.net>
date Thu, 21 Nov 2013 18:19:02 -0500
parents 93140c5cc972
children
rev   line source
kkallio@16 1 val main : {} -> transaction page