GitHub/gf-rgl
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-06-07 14:16:31 -06:00
Code Issues Packages Projects Releases Wiki Activity
880 Commits 9 Branches 8 Tags
954d3f22607c70f5be6fbbe2f3781add4febce64
Commit Graph

1 Commits

Author SHA1 Message Date
aarne
954d3f2260 tex option for synopsis; not so nice-looking yet 2007-07-04 13:21:41 +00:00