Pass failure in assignTypeVars out of inferenceStep

Cruft removal

some superficial changes by Janis

Do not use xhtml mimetype, no CDATA, for IE compatibility

Merge changes by Kazutaka and me, do not use renderCode in Main.hs

Explicitly pass the parameters to put in -sem

Bug fix on SemanticB18n

Combined-line mode checks bidirectionalizability

Change description about options.

Mention that the first defined function is used

Amended the error message

Do not show bidi button if there is an error

Label b18n radio buttons

Reoder examples

ICFP10 Paper name

Refactor playCode some more, add bias and default_valu

Call adjustConfig and do not set execMode

Use renderCode

Refactor in defaultPlayCode

Refactor render code into SemSyn.renderCode

Show astErrors in Output

Change type of checkBidirectionalizability to return Maybe String

Implement check of bidirectionalizability.

Bug fixes on preprocessing options.

remove NoB18n button

Remove ShowType button

Input and output codes now looks similar to Haskell (or Curry?)

Typo in author list

Fix \r\n line endings.

Add fromMaybe to defaultPlayCode

Uncurry default get and put

Make playCode dependant on b18nMode

Fix bug in BUtil.middle

Remove execMode from GUI

Forgot one (Combining)

Qualify view function in generated code

Execution → Preprocessing

Cosmetic changes to the GUI

Typo: sieve/seive

References to the papers and bff.cgi

"Combining" in parenthesis

Really remember code visibility

Always hide code

Make playCode dependent on execMode

Pass config as a whole to the page function

Use b18nMode instead of outputMode in cgi script

Import BUtil also with, for the definition of class Num Nat

Render Unit as () when generating Haskell code

Support new "userlevel" options.

Improve HTML validity

Show/Hide button

removed brackets around version restrictions in the .cabal file

removed command line output of myInterpreter

Changed default outputMode to HaskellCode

[Bugfix] Variables in "-n" flag.

Change TMPDIR to avoid problem with hint’s temporary files

Use a pre field for the generated code

Only show playing code when output is HaskellCode

Make get/put configurable

Make the user input field functional

Functions to create a temporary directory

Make MyInterpret more configurable WRT loaded modules

Make MyInterpret use new-style exceptions, avoid compiler warnings

Bundle BUtils in the binary, to avoid a runtime dependency

Allow the user to use real numbers when playing with Nat

Uses directory

Make BUtil work with new-style exceptions
Otherwise ghc will emit warnings, which break hint (the interpreter library
used)

Add type signatures to MyInterpret

Add hint to .cabal

Import MyInterpret from bff

Prepare for one big textfield for user interaction

Non-function input to play with the code

Factor out readOnly

Show parseErrors

Better error message in Type.hs (fails in CGI, though)

Refactor code

Restore scoll position over form reloads

Upgrade jQuery to v1.4.2

Server jQuery code under own URL (caching does not work though)

Add jQuery library (embedded for simplicity)

[Changed] The definition of "defaultCode"

First beginnings of a CGI output

Add instances for ExecMode and OutputMode

Remove IO related code from SemSyn.hs

Simple Main/SemSyn split

Add type signatures in Main.hs

Changed helps messages according to the previous changes.

Supporting options for "natify only, shapify only, and b18n only"

Mention all occuring files in .cabal
This allows you to build a proper releaseable tarball using "Setup sdist"

Remove cabal init comments from .cabal file

Elminate some errors about ".cabal"

"cabal init"ed

[Init] Implementation of "Combining Syntactic and Semantic Bidirectionalization"