summaryrefslogtreecommitdiff
path: root/doc/intro.ur
Commit message (Collapse)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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 21:58:45 +0000