git.annexia.org / goals.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 091e4a3) | patch
Ast: Change EGoal -> EGoalDefn, ETactic -> ETacticDefn.
authorRichard W.M. Jones <rjones@redhat.com>
Thu, 2 Jan 2020 15:57:48 +0000 (15:57 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Thu, 2 Jan 2020 16:02:15 +0000 (16:02 +0000)
commit266aac664780e39712228dd70a8e11465298713b
treefd971148068db6c24e0f890b16f98fb72686a519tree | snapshot
parent091e4a356a31c64e0f1e943e20badb5613f1b21fcommit | diff
Ast: Change EGoal -> EGoalDefn, ETactic -> ETacticDefn.
src/ast.ml diff | blob | history
src/ast.mli diff | blob | history
src/eval.ml diff | blob | history
src/parser.mly diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.