diff options
author | Wade Brainerd <wadetb@gmail.com> | 2008-05-27 11:32:31 (GMT) |
---|---|---|
committer | Wade Brainerd <wadetb@gmail.com> | 2008-05-27 11:32:31 (GMT) |
commit | 63a455906bffebd769f2ec89a88014b18268baed (patch) | |
tree | b0b3211cf5590f09ae558ab0110943ca5fcc52e0 /generated | |
parent | 24fb135c0c37dc1187202d8566fc27db71b1648c (diff) |
Rudimentary MathML rendering. Some character entities (∈, ℝ) are still broken, but it's a good start!
Diffstat (limited to 'generated')
-rw-r--r-- | generated/dummy | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generated/dummy b/generated/dummy new file mode 100644 index 0000000..8b13789 --- /dev/null +++ b/generated/dummy @@ -0,0 +1 @@ + |