From b1b4e2aadff5983d443d70c09ea86a41b015873f Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Sat, 12 Jun 2010 15:42:02 -0400
Subject: Add support for typed metadata

The metadata construct 'Key: Value' is now just a special case for
'Key:: "Value"'.  Another after a :: in metadata setting is parsed as a
full value expression and typed as such.  For example:

  ; Key:: $400 + $500

  ledger -l 'tag("Key") < $1000'
---
 tools/proof | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools')

diff --git a/tools/proof b/tools/proof
index daebc68c..755c3fe7 100755
--- a/tools/proof
+++ b/tools/proof
@@ -12,7 +12,7 @@ if [[ -f ~/Products/last-proofed && \
     exit 0
 fi
 
-rm -fr ~/Products/ledger*
+rm -fr ~/Products/ledger-proof
 
 time ./acprep --enable-cache --enable-doxygen \
     --universal -j16 --warn proof 2>&1 | \
-- 
cgit v1.2.3