boxes-2.0.0 ----------- Version 2.0.0 Author Jonas Oberschweiber Synopsis A pretty printer for boxes Category Printing Dependencies Compiler compatibility pakcs >= 2.0.0 kics2 >= 2.0.0 Exported modules Boxes Source Git https://git.ps.informatik.uni-kiel.de/curry-packages/boxes.git@v2.0.0