tex stuff
started parser, split up latex into raw and decorated
lots
started writing TranslateTex using Parsec. Going to grab a sandwich and get then off to the airport
switching over to hatex
switched almost everything over to hatex. just need to write compile
almost working, just have to debug TranslateTex
js library files
things are more or less stable
commiting before system update
proof example
commiting before reboot
readme, not much in it
finished primes proof
things are basically working!
macro file
added mrm macro