| Age | Commit message (Expand) | Author |
|---|---|---|
| 2008-10-28 | fixes in next resource needed for Attempto | aarne |
| 2008-10-10 | AdjOrd instance of mkAP | aarne |
| 2008-10-06 | next-lib now compiles webalt ; removed subdir mathematical/ for simplicity | aarne |
| 2008-10-06 | simplified 1.5 by removing mathematical/ | aarne |
| 2008-10-03 | extended AP with Ord and compar in 1.5 | aarne |
| 2008-09-22 | moved lib/next-resource to next-lib/src, to enable linking with next-lib as v... | aarne |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |