1. 11 Sep, 2007 4 commits
  2. 10 Sep, 2007 3 commits
  3. 04 Sep, 2007 1 commit
  4. 28 Aug, 2007 1 commit
  5. 27 Aug, 2007 1 commit
  6. 17 Aug, 2007 11 commits
  7. 15 Aug, 2007 8 commits
    • bbr's avatar
      the gui library is now part of kics · b274d2fc
      bbr authored
      - the tk library is obsolete
      b274d2fc
    • bbr's avatar
      some remains of gui merge · 94b3edf3
      bbr authored
      94b3edf3
    • bbr's avatar
      some remains of gui merge · c28dde19
      bbr authored
      c28dde19
    • bbr's avatar
      small changes · 22bdac82
      bbr authored
      - still a conflict from gui merge
      - ambiguous appearances of >>=
      22bdac82
    • bbr's avatar
      small conflicts merged · 2c0797cc
      bbr authored
      Merge branch 'gui' into oracle
      
      Conflicts:
      
      	src/lib/All_Libraries.curry
      	src/lib/ExternalFunctionsIO.hs
      	src/lib/ExternalFunctionsPrelude.hs
      	src/lib/IO.curry
      2c0797cc
    • bbr's avatar
      just small things no big deal · 4d247b07
      bbr authored
      Merge branch 'gui'
      
      Conflicts:
      
      	src/lib/All_Libraries.curry
      	src/lib/ExternalFunctionsIO.hs
      	src/lib/IO.curry
      4d247b07
    • bbr's avatar
      cpns needs to be fixed · 48dcf1bb
      bbr authored
      48dcf1bb
    • bbr's avatar
      the gui library is finally running (for most examples) · 3ec5b954
      bbr authored
      - in module All_Libraries the dreaded io choice module is commented out
        maybe delete it soon
      - the CPNS server is not yet ready as the start skript needs to be integrated
        maybe work for another branch
      - the handler type now has the option of hiding two handles (in/out) for the user
        who just has to read/write there.
      - many external handle functions were not correctly using $##.
      - the GUI library does have no ports anymore. And checkconsistency was deleted.
      3ec5b954
  8. 14 Aug, 2007 9 commits
  9. 10 Aug, 2007 2 commits