Changeset 9bfd492 in report for tools


Ignore:
Timestamp:
Mar 20, 2008 9:36:04 PM (12 years ago)
Author:
Simon Marlow <marlowsd@…>
Branches:
h2010, master
Children:
404de07
Parents:
37cba5c
Message:

Add the ability to colourise the haskell-prime parts of the report

File:
1 edited

Legend:

Unmodified
Added
Removed
  • tools/tex.hs

    r37cba5c r9bfd492  
    10261026                     .|. use ">=2"),
    10271027               ("geq0",emit (HProtect [symFont [HSpecial 179],HString "0"])
    1028                      .|. use ">=0")
     1028                     .|. use ">=0"),
     1029               ("hprime", embed $ \h -> HProtect [prime_font, h])
    10291030  ]
    10301031
     1032prime_font = HColor "#6600CC"
    10311033
    10321034use :: String -> PCFun
     
    11351137                            h,
    11361138                            HPara]
     1139    "haskellprime" -> HProtect [prime_font, h]
    11371140    _ -> HString ("Unknown begin: \\begin{" ++ a ++ "}\n")
    11381141 where (opts,d') = case (break (== ';') d) of
Note: See TracChangeset for help on using the changeset viewer.