aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/lego/GoalGoal.l
Commit message (Expand)AuthorAge
* support for nested goals is now restricted to CoqGravatar Thomas Kleymann1998-10-18
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-02 23:14:24 +0000