GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-02 07:42:50 -06:00
Code Issues Packages Projects Releases Wiki Activity
2,298 Commits 21 Branches 11 Tags
7ee279fa3fb4a49ebe97d7fbdbe145a4c14c9d06
Commit Graph

2 Commits

Author SHA1 Message Date
aarne
7ee279fa3f tex option for synopsis; not so nice-looking yet 2007-07-04 13:21:41 +00:00
aarne
0cad9315fb extended Synopsis with categories, structural, and an example 2007-07-04 09:39:24 +00:00