Viewing all changes in revision 10533.
- Committer: vgross
- Date: 2009-09-14 11:25:55 UTC
- Revision ID: svn-v4:85f007b7-540e-0410-9357-904b9bb8a0f7:trunk:12327
tags refactoring
all tags are isolated in tags.ml, and all tags are accessed directly,
not through their names.
all tags are isolated in tags.ml, and all tags are accessed directly,
not through their names.
- files added:
- ide/tags.ml
- files modified:
- ide/coqide.ml
expand all
collapse all
added
removed
