index
:
open-axiom
master
new-build
open scientific computation system
Igor Pashev
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
algebra
/
any.spad.pamphlet
Age
Commit message (
Expand
)
Author
Files
Lines
2010-05-30
* interp/c-util.boot (middleEndExpand): Tidy.
dos-reis
1
-4
/
+4
2010-03-18
* algebra/any.spad.pamphlet (Property): Tidy.
dos-reis
1
-15
/
+20
2009-10-15
* interp/i-syscmd.boot (reportOpsFromUnitDirectly): Tidy.
dos-reis
1
-1
/
+1
2009-06-15
* algebra/any.spad.pamphlet (Any): Remove domainOf, objectOf, and
dos-reis
1
-42
/
+11
2009-06-14
Add support for existential type recovery.
dos-reis
1
-2
/
+9
2009-06-13
* algebra/any.spad.pamphlet (AnyFunctions1): Remove `pretend'
dos-reis
1
-5
/
+12
2009-06-11
* algebra/: Remove quotes from operator namaes in signatures.
dos-reis
1
-2
/
+2
2009-05-16
* algebra/any.spad.pamphlet: Tidy. Redeuce Lisp usage.
dos-reis
1
-28
/
+21
2009-05-14
* algebra/any.spad.pamphlet (RuntimeValue): New domain.
dos-reis
1
-0
/
+20
2009-04-19
* algebra/any.spad.pamphlet (Binding): Define Rep. Tidy.
dos-reis
1
-40
/
+37
2009-02-23
* interp/compiler.boot (compAtom): Don't interpret 'nil' as empty
dos-reis
1
-13
/
+9
2009-01-07
Fix documentation
dos-reis
1
-6
/
+7
2009-01-07
* algebra/any.spad.pamphlet (Maybe): Rework.
dos-reis
1
-22
/
+19
2008-08-30
More explicit import
dos-reis
1
-0
/
+1
2008-08-29
Add more explicit imports
dos-reis
1
-0
/
+35
2008-08-29
* algebra/aggcat.spad.pamphlet: Import used domains.
dos-reis
1
-0
/
+9
2008-08-23
* algebra/any.spad.pamphlet (Maybe): New domain.
dos-reis
1
-3
/
+51
2008-07-11
* interp/compiler.boot (compQuote): Restrict quoting to literal
dos-reis
1
-4
/
+6
2008-01-22
* algebra/any.spad.pamphlet (empty$Scope): Use literal empty list.
dos-reis
1
-2
/
+2
2008-01-20
* algebra/syntax.spad.pamphlet (ElaboratedExpression): New.
dos-reis
1
-12
/
+12
2008-01-19
* algebra/any.spad.pamphlet (getProperty$Environment): New.
dos-reis
1
-2
/
+30
2008-01-19
* interp/construc.lisp (|loadLibNoUpdate|): Fix thinko in initial
dos-reis
1
-1
/
+220
2007-08-14
Initial population.
dos-reis
1
-0
/
+241