Big Red ======= This is the repository for Big Red, the graphical development environment for bigraphs. For more information on how to run this development version of Big Red, see "doc/running.txt".
Big Red ======= This is the repository for Big Red, the graphical development environment for bigraphs. For more information on how to run this development version of Big Red, see "doc/running.txt".