comparison src/elab_env.sig @ 1709:4600cc5e335c

Added several missing tag attributes
author Vladimir Shabanov <vshabanoff@gmail.com>
date Wed, 11 Apr 2012 03:03:19 +0400
parents c7b9a33c26c8
children fca4a6d05ac1
comparison
equal deleted inserted replaced
1708:e263dab7b579 1709:4600cc5e335c