GitHub/gf-rgl
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-08-30 07:56:58 -06:00
Code Issues Packages Projects Releases Wiki Activity
4,617 Commits 9 Branches 8 Tags
eae5f7b72387d052d1185515b6467bc9cace760a
Commit Graph
3 Commits
Author SHA1 Message Date
John J. Camilleri 20efc48e21 Fix making of "sources.html" 
Uses same template as synopsis, maybe this shoudl be generalised a bit
 2018-11-13 09:50:10 +01:00
John J. Camilleri 74384044c9 Move everything related to synopsis into subfolder 
Clean up some unused and generated files
 2018-11-12 10:05:42 +01:00
John J. Camilleri ec9753e7b5 Use Pandoc and introduce HTML template for synopsis 
- Remove isLatex flag
- Plan to convert to Markdown and simply format
 2018-11-09 09:08:30 +01:00