checkpoint

[sbp.git] / src / edu / berkeley / sbp / tib / TibDoc.java

diff --git a/src/edu/berkeley/sbp/tib/TibDoc.java b/src/edu/berkeley/sbp/tib/TibDoc.java
index 2b65690..ea996ac 100644 (file)
--- a/src/edu/berkeley/sbp/tib/TibDoc.java
+++ b/src/edu/berkeley/sbp/tib/TibDoc.java
@@ -409,12 +409,14 @@ toContex ll = prefix ++ (concatMap tl ll) ++ suffix
         }
 
         public static @bind.as("Citation") Object cite(Object o) { return new Chars("*cite*"); }
         }
 
         public static @bind.as("Citation") Object cite(Object o) { return new Chars("*cite*"); }

-        public static @bind.as("Symbol") Object sym(Object o) { return null; }
+        public static @bind.as("Symbol") Object sym(String s) { return new Chars(s); }

 
 

-        public static abstract class List extends Text {
-            public @bind.arg Text[][] points;
+        public static abstract class List extends Paragraph {
+            public @bind.arg Text[] preface;
+            public @bind.arg Text[][]  points;

             public abstract String tag();
             public void toHTML(ToHTML.HTML sb) {
             public abstract String tag();
             public void toHTML(ToHTML.HTML sb) {

+                sb.append(preface);

                 sb.openTag(tag());
                 for(Text[] t : points)
                     sb.tag("li", t);
                 sb.openTag(tag());
                 for(Text[] t : points)
                     sb.tag("li", t);