mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-10-28 18:13:17 -06:00
resource synopsis
This commit is contained in:
1 parent
8450905795
commit
4e68e1e225
6 files changed
+4439
-8
No files matched your search
@@ -1,3 +1,5 @@
|
||||
synopsis:
|
||||
runghc MkSynopsis.hs
|
||||
clt:
|
||||
txt2tags clt2006.txt
|
||||
htmls clt2006.html
|
||||
|
||||
Reference in new issue
Block a user