aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-05-08try with triple backticksYves Bertot
2018-05-08attempt to make code inclusions appear correctlyYves Bertot
2018-05-07Merge branch 'master' of https://github.com/ybertot/plugin_tutorialsYves Bertot
2018-05-07adds a copy of the show_proof commandYves Bertot
2018-05-07Merge pull request #1 from matejkosik/masterYves Bertot
2018-05-07fix some detailsMatej Košík
2018-05-07fix some detailsMatej Košík
2018-05-07add some more material (preliminary provided in "tuto2" directory)Matej Košík
2018-05-04Merge branch 'master' of https://github.com/ybertot/plugin_tutorialsYves Bertot
2018-05-04adds an explanation to Cmd8Yves Bertot
2018-05-04remove a typoYves Bertot
2018-05-04remove errors in the documentationYves 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-08 04:25:49 +0000