GitHub/gf-rgl
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-06-07 22:26:33 -06:00
Code Issues Packages Projects Releases Wiki Activity
882 Commits 9 Branches 8 Tags
564d8d30e2e9c95a3625a3954c8eb2e27d93b400
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