From 7bb3cb12e6a013204e794db821069d8b9e0ecc58 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 6 May 2012 15:15:46 -0400 Subject: 'dynStyle' pseudo-attribute --- tests/dynClass.ur | 32 +++++++++++++++++++++----------- 1 file changed, 21 insertions(+), 11 deletions(-) (limited to 'tests/dynClass.ur') diff --git a/tests/dynClass.ur b/tests/dynClass.ur index 2c7068c8..37f931a2 100644 --- a/tests/dynClass.ur +++ b/tests/dynClass.ur @@ -1,21 +1,31 @@ -style s1 -style s2 +style date +style topic fun main () : transaction page = - src <- source s1; - s <- source ""; toggle <- source False; return - + -