Skip to content

Commit

Permalink
Use different <dfn>s for model and syntax. First part towards fixing #33
Browse files Browse the repository at this point in the history 
.
  • Loading branch information
@annevk
annevk committed Aug 15, 2015
1 parent 3651453 commit aedbc12
Show file tree
Hide file tree
Showing 2 changed files with 548 additions and 483 deletions.

0 comments on commit aedbc12

Please sign in to comment.