diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-08-10 16:50:47 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-08-10 16:50:47 +0000 |
| commit | e6b1636fe3b19b148f347f6b9f00642db83c5ddc (patch) | |
| tree | 79d6b46a38a96ac51ad2396fb137a163eb3a7f65 /src/ChangeLog | |
| parent | 0a0661e0c50e9c3e160d54b8e0a5b891d419e2bc (diff) | |
| download | open-axiom-e6b1636fe3b19b148f347f6b9f00642db83c5ddc.tar.gz | |
* algebra/Makefile.in (oa_strap_0_sources): Don't include OM.
(axiom_algebra_layer_0): Don't include OM, OMCONN, OMDEV.
(axiom_algebra_layer_4): Don't include OMENC.
(axiom_algebra_layer_14): Don't include OMPKG.
(axiom_algebra_layer_19): Don't include OMERR, OMERRK.
(axiom_algebra_layer_20): Don't include OMEXPR.
* algebra/omcat.spad.pamphlet: Remove.
* algebra/omdev.spad.pamphlet: Remove.
* algebra/omerror.spad.pamphlet: Remove.
* algebra/omserver.spad.pamphlet: Remove.
* algebra/openmath.spad.pamphlet: Remove.
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index d1101fc5..da585f8b 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,17 @@ +2011-08-10 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * algebra/Makefile.in (oa_strap_0_sources): Don't include OM. + (axiom_algebra_layer_0): Don't include OM, OMCONN, OMDEV. + (axiom_algebra_layer_4): Don't include OMENC. + (axiom_algebra_layer_14): Don't include OMPKG. + (axiom_algebra_layer_19): Don't include OMERR, OMERRK. + (axiom_algebra_layer_20): Don't include OMEXPR. + * algebra/omcat.spad.pamphlet: Remove. + * algebra/omdev.spad.pamphlet: Remove. + * algebra/omerror.spad.pamphlet: Remove. + * algebra/omserver.spad.pamphlet: Remove. + * algebra/openmath.spad.pamphlet: Remove. + 2011-08-09 Gabriel Dos Reis <gdr@cs.tamu.edu> * interp/setvart.boot: Remoe OpenMath description. |