aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-05-04adds an explanation to Cmd8Yves Bertot
2018-05-04remove a typoYves Bertot
2018-05-04remove errors in the documentationYves Bertot
2018-05-04adds a comment in simple_print.ml and a plugin declaration in g_tuto1.ml4Yves Bertot
2018-05-04.gitignore fine-tuningYves Bertot
2018-05-04Now a command to access the value of a constantYves Bertot
2018-05-04adds more packaging boilerplate in tuto0Yves Bertot
2018-05-04finished type-checking examplesYves Bertot
2018-05-04follows G. Gilbert's suggestion to have polymorphism following a flagYves Bertot
2018-05-04A modified version that includes code proposed by G. GilbertYves Bertot
2018-05-04This revision contains a simple Check command.Yves Bertot
2018-05-03little cleanup on the defining command, and question in commentsYves Bertot
2018-05-03This version contains a simple command that defines a new constantYves Bertot
2018-05-02first examples of commands taking argumentsYves Bertot
2018-05-01add usage explanationsYves Bertot
2018-05-01add a simple explanation in the README fileYves Bertot
2018-05-01a first project on how to organize files and define a simple queryYves Bertot
generated by cgit v1.2.3 (git 2.25.1) at 2026-10-09 11:58:14 +0000