Project Summary
Project Information
| Field | Value |
|---|---|
| Name | CZT Z Palette jEdit Plugin |
| Description | jEdit Plugin that gives a palette for Z characters and formulae |
| Homepage | http://czt.sourceforge.net/jedit/ZCharMap |
Tools for developing and reasoning about Z specifications
| Field | Value |
|---|---|
| Name | CZT Z Palette jEdit Plugin |
| Description | jEdit Plugin that gives a palette for Z characters and formulae |
| Homepage | http://czt.sourceforge.net/jedit/ZCharMap |