~naesten/coq/trunk

Viewing all changes in revision 10689.

  • Committer: herbelin
  • Date: 2009-11-11 13:37:57 UTC
  • Revision ID: svn-v4:85f007b7-540e-0410-9357-904b9bb8a0f7:trunk:12496
Fixed bug #2168 (closing a section may have as side-effect the erasure
of objects having the same name as the section).

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: