import java.io.*;
public class TibDoc {
-
+ /*
public static Text lf() { Chars ret = new Chars(); ret.text = "\n"; return ret; }
public static Text cr() { Chars ret = new Chars(); ret.text = "\r"; return ret; }
public static Text emdash() { return new Entity("mdash"); }
public static class TT extends Text.TextArray { public String tag() { return "tt"; } }
public static class Underline extends Text.TextArray { public String tag() { return "u"; } }
public static class Italic extends Text.TextArray { public String tag() { return "i"; } }
- public static class Citation extends Text.TextArray { /* FIXME */ }
- public static class Footnote extends Text.TextArray { /* FIXME */ }
+ public static class Citation extends Text.TextArray { } // FIXME
+ public static class Footnote extends Text.TextArray { } // FIXME
public static class LineBreak extends Text { public void toHTML(ToHTML.HTML sb) { sb.tag("br"); } }
public static class Today extends Text { }
public static class Euro extends Text { public void toHTML(ToHTML.HTML sb) { sb.entity(8364); } }
}
}
+ */
/*
public static void prefix(PrintWriter p) {
p.println("% generated by TIBDOC");