summaryrefslogtreecommitdiff
path: root/doc/intro.ur
Commit message (Expand)AuthorAge
* Extend license for tutorial codeGravatar Adam Chlipala2017-03-17
* Fix termination bug in tutorial's isEven/isOddGravatar Adam Chlipala2015-08-09
* Update tutorial for Ur/Web changesGravatar Adam Chlipala2012-09-03
* Improve detection of XML in urweb-mode; small tutorial improvementGravatar Adam Chlipala2011-08-02
* Tutorial: hyperlinks for metaprogramming and row typesGravatar Adam Chlipala2011-07-20
* Tutorial: link to demo and manualGravatar Adam Chlipala2011-07-17
* Copy some project front-page text to the tutorial introGravatar Adam Chlipala2011-07-17
* Tutorial proof-readingGravatar Adam Chlipala2011-07-17
* First tutorial chapter readyGravatar Adam Chlipala2011-07-16
* Module system tutorialGravatar Adam Chlipala2011-07-16
* Finish tutorial section about common ML/Haskell featuresGravatar Adam Chlipala2011-07-15
* Preserve tutorial indentationGravatar Adam Chlipala2011-07-15
* Make 'static' protocol handle unlimited retryGravatar Adam Chlipala2011-07-15
* Tutorial tweaksGravatar Adam Chlipala2011-07-15
* Tutorial section headingsGravatar Adam Chlipala2011-07-15
* Allow HTML in tutorial commentsGravatar Adam Chlipala2011-07-15
* Beautified tutorial HTMLGravatar Adam Chlipala2011-07-15
* Generated pretty-printed HTML for a simple tutorial source fileGravatar Adam Chlipala2011-07-15