From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Tue, 14 Jun 2011 03:50:31 +0000 (-0700)
Subject: GArrowTikZ: render more of the structural stuff in gray!50
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=56413ac435b190c551e8a695fa4e289b46f5b683;hp=56413ac435b190c551e8a695fa4e289b46f5b683

GArrowTikZ: render more of the structural stuff in gray!50
---