diff options
| author |  ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-06-18 16:11:27 +0000 |
|---|---|---|
| committer | ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-06-18 16:11:27 +0000 |
| commit | 33f2e992039270c2677c0926a3d019b6e6cbe326 (patch) | |
| tree | 04a05d09f221cde41b6690d166b520ef4c12541b /tactics/tacintern.ml | |
| parent | 10a347a382773cf6567669005730bb5ed8775416 (diff) | |
Implementing a new interface for Genarg, with centralized data
structure. The code is quite dumb for now, as it only handles basic
extended generig arguments (ExtraArgTypes). Soon, code from other
modules will be centralized there.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16585 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'tactics/tacintern.ml')
0 files changed, 0 insertions, 0 deletions