1
0
forked from GitHub/gf-rgl

API module titles, resource.txt corrections

This commit is contained in:
aarne
2006-06-14 21:16:06 +00:00
parent d15022b24b
commit 20db7bf224
14 changed files with 25 additions and 23 deletions

View File

@@ -1,4 +1,4 @@
--1 Infrastructure with common implementations.
--1 Common: Structures with Common Implementations.
-- This module defines the categories that uniformly have the linearization
-- ${s : Str}$ in all languages.