diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-04-07 21:02:55 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-04-07 21:02:55 +0000 |
| commit | b107db3eaba8069a8a47f2dc3f39b9858e954efa (patch) | |
| tree | 89e0831e91206bf46377ae1c3caccd8b99525869 /configure.ac.pamphlet | |
| parent | 29a86fd35e276f539534ed9a083ff7526cbb7d24 (diff) | |
| download | open-axiom-b107db3eaba8069a8a47f2dc3f39b9858e954efa.tar.gz | |
* algebra/boolean.spad.pamphlet (isAtom$PropositionalFormula):
Rename from isTerm.
(simplify$PropositionalFormulaFunctions1): New.
Diffstat (limited to 'configure.ac.pamphlet')
| -rw-r--r-- | configure.ac.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac.pamphlet b/configure.ac.pamphlet index b506d533..be0f114b 100644 --- a/configure.ac.pamphlet +++ b/configure.ac.pamphlet @@ -1200,7 +1200,7 @@ information: <<Autoconf init>>= sinclude(config/open-axiom.m4) sinclude(config/aclocal.m4) -AC_INIT([OpenAxiom], [1.4.0-2010-04-04], +AC_INIT([OpenAxiom], [1.4.0-2010-04-07], [open-axiom-bugs@lists.sf.net]) @ |