diff options
author | 2009-10-26 11:08:34 +0000 | |
---|---|---|
committer | 2009-10-26 11:08:34 +0000 | |
commit | 5dcc913519b8822ddf59eb3a356028f45f42cc3b (patch) | |
tree | a92cbe9fb3fdabff79163bb04e7d7f5bc87cbee7 /parsing/g_ltac.ml4 | |
parent | 14893db7bda6542fa466508d962920ee64d3e45a (diff) |
New functors for gmap and gset.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12417 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'parsing/g_ltac.ml4')
0 files changed, 0 insertions, 0 deletions