Commits on Jan 29, 2012
  1. Rename JScript to JS

    committed Jan 29, 2012
Commits on Jan 25, 2012
  1. Deferred move

    committed Jan 25, 2012
  2. * Niceness

    committed Jan 25, 2012
Commits on Jan 20, 2012
  1. Merge branch 'master' of git://github.com/norm2782/JCU

    Conflicts:
    	src/Application.hs
    	src/JCU/Templates.hs
    committed Jan 20, 2012
Commits on Jan 19, 2012
  1. Now with congratulations

    committed Jan 19, 2012
  2. * Changed behaviour of the "Check Proof" button.

      Proofs are only checked when proofing is On, otherwise a dummy proof stating
      "Incomplete" is  used.
    
      This is a work around
    committed Jan 19, 2012
Commits on Jan 18, 2012
  1. Now with the worker file

    committed Jan 19, 2012
  2. Tried working with a WebWorker. Problems with sending the data over t…

    …o the other
    
    side. Our thunks have functions inside them and the WebWorker.postMessage
    doesn't like that. Serializing through JS doesn't work either as the thunks
    are not fully evaluated yet.
    committed Jan 19, 2012
  3. * noop stuff

    committed Jan 18, 2012
  4. * Hlint :)

    committed Jan 18, 2012
  5. * Checking of term before submit

    committed Jan 18, 2012
  6. * Minor cleanup

    * Reset functionality
    committed Jan 18, 2012
  7. * Now visual (colour) feedback on how well the student is doing. :)

    * Still a lot of code to clean up. :)
    committed Jan 18, 2012
  8. @norm2782

    Get rid of voidM

    norm2782 committed Jan 18, 2012
Commits on Jan 16, 2012
  1. * Deleting of rules now also works. :)

    * Lots of other stuff
    committed Jan 16, 2012
  2. * Dropping now works. There should be some visible results however. (…

    …Blue/green/orange/etc.)
    committed Jan 16, 2012
Commits on Jan 15, 2012
Commits on Jan 13, 2012
  1. Added the missing file

    committed Jan 13, 2012
Commits on Jan 12, 2012
  1. * Work on integrating the code from JCU into the JS app.

    * Issue with an instance not being visible?
    committed Jan 12, 2012
Commits on Jan 9, 2012
  1. Now works with the new getAttr

    committed Jan 9, 2012
  2. This doesn't work yet...

    committed Jan 9, 2012
Commits on Jan 6, 2012
Commits on Jan 5, 2012
  1. * Drag + drop = working

    * Still error in the parser
    committed Jan 5, 2012
Commits on Jan 3, 2012
  1. * Added core dump cleanup shizzle

    * Rules list now shows :)
    * Rules can be dragged. :)
    committed Jan 3, 2012