From: Richard W.M. Jones <rjones@redhat.com>
Date: Thu, 2 Jan 2020 15:57:48 +0000 (+0000)
Subject: Ast: Change EGoal -> EGoalDefn, ETactic -> ETacticDefn.
X-Git-Tag: v'0.2'~113
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=266aac664780e39712228dd70a8e11465298713b;hp=266aac664780e39712228dd70a8e11465298713b;p=goals.git

Ast: Change EGoal -> EGoalDefn, ETactic -> ETacticDefn.
---