darcs-mirror-sem_syn.git
2010-09-15 Joachim BreitnerUse renderCode
2010-09-15 Joachim BreitnerRefactor in defaultPlayCode
2010-09-15 Joachim BreitnerRefactor render code into SemSyn.renderCode
2010-09-13 Joachim BreitnerShow astErrors in Output
2010-09-13 Joachim BreitnerChange type of checkBidirectionalizability to return...
2010-09-13 Kazutaka MatsudaImplement check of bidirectionalizability.
2010-09-13 Kazutaka MatsudaBug fixes on preprocessing options.
2010-09-13 Joachim Breitnerremove NoB18n button
2010-09-13 Joachim BreitnerRemove ShowType button
2010-09-13 Kazutaka MatsudaInput and output codes now looks similar to Haskell...
2010-09-13 Joachim BreitnerTypo in author list
2010-09-12 Joachim BreitnerFix \r\n line endings.
2010-09-12 Joachim BreitnerAdd fromMaybe to defaultPlayCode
2010-09-12 Joachim BreitnerUncurry default get and put
2010-09-12 Joachim BreitnerMake playCode dependant on b18nMode
2010-09-12 Joachim BreitnerFix bug in BUtil.middle
2010-09-12 Joachim BreitnerRemove execMode from GUI
2010-09-10 Joachim BreitnerForgot one (Combining)
2010-09-10 Joachim BreitnerQualify view function in generated code
2010-09-10 Joachim BreitnerExecution → Preprocessing
2010-09-10 Joachim BreitnerCosmetic changes to the GUI
2010-09-10 Joachim BreitnerTypo: sieve/seive
2010-09-10 Joachim BreitnerReferences to the papers and bff.cgi
2010-09-10 Joachim Breitner"Combining" in parenthesis
2010-09-10 Joachim BreitnerReally remember code visibility
2010-09-10 Joachim BreitnerAlways hide code
2010-09-10 Joachim BreitnerMake playCode dependent on execMode
2010-09-10 Joachim BreitnerPass config as a whole to the page function
2010-09-10 Joachim BreitnerUse b18nMode instead of outputMode in cgi script
2010-09-10 Joachim BreitnerImport BUtil also with, for the definition of class...
2010-09-10 Joachim BreitnerRender Unit as () when generating Haskell code
2010-09-10 Kazutaka MatsudaSupport new "userlevel" options.
2010-09-09 Joachim BreitnerImprove HTML validity
2010-09-09 Joachim BreitnerShow/Hide button
2010-09-08 dsremoved brackets around version restrictions in the...
2010-09-08 dsremoved command line output of myInterpreter
2010-09-06 Kazutaka MatsudaChanged default outputMode to HaskellCode
2010-09-06 Kazutaka Matsuda[Bugfix] Variables in "-n" flag.
2010-09-04 Joachim BreitnerChange TMPDIR to avoid problem with hint’s temporary...
2010-09-04 Joachim BreitnerUse a pre field for the generated code
2010-09-04 Joachim BreitnerOnly show playing code when output is HaskellCode
2010-09-04 Joachim BreitnerMake get/put configurable
2010-09-04 Joachim BreitnerMake the user input field functional
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...