patch applied (nhc98): remove remnants of Hat, made undead by the conversion from CVS

11 Jul 2006


      Fri Jul  7 09:11:45 PDT 2006  Malcolm.Wallace@cs.york.ac.uk
  * remove remnants of Hat, made undead by the conversion from CVS

    R ./src/tracer/
    R ./src/tracer/hat/
    R ./src/tracer/hoodui/
    R ./src/tracer/hoodui/com/
    R ./src/tracer/hoodui/com/microstar/
    R ./src/tracer/hoodui/com/microstar/xml/
    R ./src/tracer/prelude/
    R ./src/tracer/prelude/Char/
    R ./src/tracer/prelude/DontKnow/
    R ./src/tracer/prelude/IO/
    R ./src/tracer/prelude/List/
    R ./src/tracer/prelude/LowB/
    R ./src/tracer/prelude/Maybe/
    R ./src/tracer/prelude/NonStd/
    R ./src/tracer/prelude/PackedString/
    R ./src/tracer/prelude/Prelude/
    R ./src/tracer/prelude/PreludeDebug/
    R ./src/tracer/prelude/PreludeIO/
    R ./src/tracer/prelude/PreludeList/
    R ./src/tracer/prelude/PreludeText/
    R ./src/tracer/prelude/Ratio/
    R ./src/tracer/prelude/System/
    R ./src/tracer/prelude/Text/
    R ./src/tracer/runtime/
    R ./src/tracer/runtime/unused/
    R ./src/tracer/ui/
    R ./src/tracer/ui/examples/
    R ./src/tracer/ui/nhctracer/
    R ./src/tracer/ui/old/

Malcolm Wallace

tags

participants (1)