darcs-mirror-sem_syn.git
2010-09-25 Joachim BreitnerAdd Kazutaka to Web copyright statement
2010-09-25 Joachim BreitnerLink to hackage, fix name of the tarball
2010-09-25 Joachim BreitnerLink to CGI version in README
2010-09-25 Joachim BreitnerElaborate description in .cabal file
2010-09-25 Joachim BreitnerMention darcs reository in .cabal
2010-09-25 Joachim BreitnerImprove the .cabal file
2010-09-24 Kazutaka MatsudaAdd README
2010-09-22 Joachim BreitnerLink to .../desc.html
2010-09-22 Joachim Breitner"You can also load some predefined examples."
2010-09-22 Joachim Breitnerconsistenly use pretty unicode apostrophies
2010-09-22 Kazutaka MatsudaRemove type-checking error.
2010-09-22 Kazutaka MatsudaRemove commented-out codes
2010-09-17 jvsome further superficial changes by Janis
2010-09-16 Joachim Breitnertypo: Syntatic
2010-09-16 Joachim BreitnerHandle another lookup failure in typeMap
2010-09-16 Joachim BreitnerPrint type errors withing checkBidirectionalizability
2010-09-16 Joachim BreitnerHandle typeCheck error in Main.hs
2010-09-16 Joachim BreitnerMake typeInference pass error outwards
2010-09-16 Joachim BreitnerDo not show playCode if there was an astError
2010-09-16 Joachim BreitnerPass failure in assignTypeVars out of inferenceStep
2010-09-16 Joachim BreitnerCruft removal
2010-09-16 jvsome superficial changes by Janis
2010-09-15 Joachim BreitnerDo not use xhtml mimetype, no CDATA, for IE compatibility
2010-09-15 Joachim BreitnerMerge changes by Kazutaka and me, do not use renderCode...
2010-09-15 Kazutaka MatsudaExplicitly pass the parameters to put in -sem
2010-09-14 Kazutaka MatsudaBug fix on SemanticB18n
2010-09-14 Kazutaka MatsudaCombined-line mode checks bidirectionalizability
2010-09-14 Kazutaka MatsudaChange description about options.
2010-09-15 Joachim BreitnerMention that the first defined function is used
2010-09-15 Joachim BreitnerAmended the error message
2010-09-15 Joachim BreitnerDo not show bidi button if there is an error
2010-09-15 Joachim BreitnerLabel b18n radio buttons
2010-09-15 Joachim BreitnerReoder examples
2010-09-15 Joachim BreitnerICFP10 Paper name
2010-09-15 Joachim BreitnerRefactor playCode some more, add bias and default_valu
2010-09-15 Joachim BreitnerCall adjustConfig and do not set execMode
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"
next