Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2016-01-16 | Reduce dependencies on databases to catgeory.daase during algebra build | Gabriel Dos Reis | 1 | -9/+12 | |
2010-03-13 | * algebra/compiler.spad.pamphlet: Add more IR contructor | dos-reis | 1 | -6/+86 | |
functions. Elaborate definitions. | |||||
2010-03-13 | * algebra/compiler.spad.pamphlet (InternalRepresentationForm): Tidy. | dos-reis | 1 | -9/+79 | |
(InternalTypeForm): Likewise. (CompilerPackage): Expand. | |||||
2010-03-12 | * algebra/compiler.spad.pamphlet: New. | dos-reis | 1 | -1/+46 | |
(InternalTypeForm): New. (Elaboration): New. | |||||
2010-03-12 | * algebra/compiler.spad.pamphlet: New. | dos-reis | 1 | -0/+96 | |