aboutsummaryrefslogtreecommitdiff
path: root/main/coclmain.dcl
diff options
context:
space:
mode:
authormartinw2001-05-04 14:04:58 +0000
committermartinw2001-05-04 14:04:58 +0000
commit4547835f724e9a1ec683a0625174d214b8337bc4 (patch)
treecec02df2a5e9af2a22a86c55ffa7fff82c78fa64 /main/coclmain.dcl
parentClean 2.0 compiler bug workaround (diff)
2 bugfixes: 1. pretty printing of types corrected, 2. blah
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@388 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'main/coclmain.dcl')
0 files changed, 0 insertions, 0 deletions