added a copy of uddeps.labels; script for generating a table of abstract RGL functions and information on them; an instance of running the script, absfuns.html, to be used as documentation

2026-06-25 02:56:28 -06:00 · 2015-10-14 08:04:09 +00:00
parent 88907a9c25
commit b6c6962d64
5 changed files with 1987 additions and 4 deletions
@@ -1,7 +1,7 @@
 --1 Common: Structures with Common Implementations.

-- This module defines the categories that uniformly have the linearization
-- ${s : Str}$ in all languages. 
+-- This module defines the categories that uniformly have the
+-- linearization type ${s:Str}$ in all languages. 

 abstract Common = {