2010-09-04 Joachim BreitnerFunctions to create a temporary directory
2010-09-04 Joachim BreitnerMake MyInterpret more configurable WRT loaded modules
2010-09-04 Joachim BreitnerMake MyInterpret use new-style exceptions, avoid compil...
2010-09-04 Joachim BreitnerBundle BUtils in the binary, to avoid a runtime dependency
2010-09-04 Joachim BreitnerAllow the user to use real numbers when playing with Nat
2010-09-04 Joachim BreitnerUses directory
2010-09-04 Joachim BreitnerMake BUtil work with new-style exceptions
2010-08-31 Joachim BreitnerAdd type signatures to MyInterpret
2010-08-31 Joachim BreitnerAdd hint to .cabal
2010-08-31 Joachim BreitnerImport MyInterpret from bff
2010-08-31 Joachim BreitnerPrepare for one big textfield for user interaction
2010-08-28 Joachim BreitnerNon-function input to play with the code
2010-08-28 Joachim BreitnerFactor out readOnly
2010-08-28 Joachim BreitnerShow parseErrors
2010-08-28 Joachim BreitnerBetter error message in Type.hs (fails in CGI, though)
2010-08-28 Joachim BreitnerRefactor code
2010-08-28 Joachim BreitnerRestore scoll position over form reloads
2010-08-28 Joachim BreitnerUpgrade jQuery to v1.4.2
2010-08-28 Joachim BreitnerServer jQuery code under own URL (caching does not...
2010-08-28 Joachim BreitnerAdd jQuery library (embedded for simplicity)
2010-07-29 Kazutaka Matsuda[Changed] The definition of "defaultCode"
2010-07-28 Joachim BreitnerFirst beginnings of a CGI output
2010-07-28 Joachim BreitnerAdd instances for ExecMode and OutputMode
2010-07-18 Joachim BreitnerRemove IO related code from SemSyn.hs
2010-07-18 Joachim BreitnerSimple Main/SemSyn split
2010-07-18 Joachim BreitnerAdd type signatures in Main.hs
2010-07-16 Kazutaka MatsudaChanged helps messages according to the previous changes.
2010-07-16 Kazutaka MatsudaSupporting options for "natify only, shapify only,...
2010-07-05 Joachim BreitnerMention all occuring files in .cabal
2010-07-05 Joachim BreitnerRemove cabal init comments from .cabal file
2010-07-05 Kazutaka MatsudaElminate some errors about ".cabal"
2010-07-05 Kazutaka Matsuda"cabal init"ed
2010-06-30 Kazutaka Matsuda[Init] Implementation of "Combining Syntactic and Seman...