Skip to content
Snippets Groups Projects
Select Git revision
  • master default
1 result
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.027Jan242117Added axiom, example, symbol declaration and symbol type to the wizardmastermasterClosing issue #2. Dropped name and role fields for assertions because they didn't comply with the specification.Fixed Configuration issueFixing configuration issuesupdating deploy scriptsconfiguringfirst assertion works to some extentfirst commit
Loading