Apr 23, 2023
—
Apr 23, 2024
|
||||||
Commit Message | Contributor | Files Modified | Lines Added | Lines Removed | Code Location | Date |
---|---|---|---|---|---|---|
Merge pull request #1 from clarus/master | More... | over 8 years ago | ||||
OPAM instructions | More... | over 8 years ago | ||||
README in Markdown | More... | over 8 years ago | ||||
Update README. | More... | over 10 years ago | ||||
Update README. | More... | over 10 years ago | ||||
Add a .mllib file and add an entry for it in Make. | More... | over 10 years ago | ||||
Update the test example. | More... | over 10 years ago | ||||
Rename Rawterm to Glob_term. | More... | over 10 years ago | ||||
Rename src/constructors.ml to src/constructors.ml4 | More... | over 10 years ago | ||||
Change LICENSE to New BSD for easier distribution. | More... | over 13 years ago | ||||
Proper license and copyright information. | More... | almost 14 years ago | ||||
Comment ML file and .v | More... | about 14 years ago | ||||
Typos, explain Constructors.v | More... | about 14 years ago | ||||
Initial commit. Template plugin and simple tactic. | More... | about 14 years ago |