diff options
author | ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-06-22 17:15:31 +0000 |
---|---|---|
committer | ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-06-22 17:15:31 +0000 |
commit | 03ae5e5a2feccb80e5510f9b0cd02db06bef484f (patch) | |
tree | 3daf87720be67b3715fd795d1b1c1f453f00cbac /doc/common/styles | |
parent | d33f10ce6dfc689da768f23360d46b88a57fc42e (diff) |
Now, idtac closures use maps instead of association list.
The semantics changed slightly so it may break some scripts, though
it is very unlikely, as they would have to be quite intricated and
poorly written. Indeed, the test-suite passed just fine.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16604 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/common/styles')
0 files changed, 0 insertions, 0 deletions