diff options
author | dos-reis <gdr@axiomatics.org> | 2008-02-22 17:25:49 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-02-22 17:25:49 +0000 |
commit | bd371dff087150c946a48a34299aabc893580ffe (patch) | |
tree | d762309d6b04a83e24910027f6cb2463b7daa5cd /configure.ac.pamphlet | |
parent | 3045578ca18746550988fa351fe62fe7bc92a703 (diff) | |
download | open-axiom-bd371dff087150c946a48a34299aabc893580ffe.tar.gz |
* interp/i-analy.boot (bottomUpFormTuple): Use "tuple" for
parse form that are not type instantiations.
* interp/i-coerce.boot (coerceInt1): Likewise.
* interp/i-intern.boot (mkAtree3): Likewise.
(collectDefTypesAndPreds): Likewise.
* interp/i-map.boot (args2Tuple): Likewise.
(makePattern): Likewise.
(canMakeTuple): Likewise.
(makeRuleForm): Likewise.
(numArgs): Likewise.
(combineMapParts): Likewise.
(mkMapPred): Likewise.
(findLocalVars1): Likewise.
* interp/i-output.boot (outputTran): Likewise.
* interp/i-spec1.boot ($specialOps): Likewise.
(evalUntargetedADEF): Likewise.
(upDeclare): Likewise.
(declare): Likewise.
* interp/i-spec2.boot (upDollarTuple): Likewise.
(upLET): Likewise.
(isTupleForm): Remove.
(uptuple): Rename from upTuple.
(upLETWithFormOnLhs): Use "tuple" for parse forms that are not
type instantiations.
* interp/i-syscmd.boot (displayMacro): Likewise.
* interp/pf2atree.boot (pf2Atree1): Likewise.
* interp/pf2sex.boot (pf2Sex1): Likewise.
(pfApplication2Sex): Likewise.
(pfCollectArgTran): Likewise.
* interp/ptrees.boot (pfTuple): Likewise.
(pfTuple?): Likewise.
Diffstat (limited to 'configure.ac.pamphlet')
-rw-r--r-- | configure.ac.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/configure.ac.pamphlet b/configure.ac.pamphlet index 39d9ab3a..05ddf80e 100644 --- a/configure.ac.pamphlet +++ b/configure.ac.pamphlet @@ -1008,7 +1008,7 @@ At the moment, we honor the following options: The \Tool{Autoconf} machinery needs to be initialized with several pieces of information: \begin{itemize} -\item the \emph{name} of the system --- ``OpenAxiom 1.0.0'' +\item the \emph{name} of the system --- ``OpenAxiom 1.2.0'' \item its \emph{version}. I choose to use the date of last checkin. It should probably include the revision number so as to unambiguously identify which \Tool{OpenAxiom} flavour du jour is being @@ -1022,7 +1022,7 @@ information: <<Autoconf init>>= sinclude(config/open-axiom.m4) sinclude(config/aclocal.m4) -AC_INIT([OpenAxiom], [1.2.0-2008-02-20], +AC_INIT([OpenAxiom], [1.2.0-2008-02-22], [open-axiom-bugs@lists.sf.net]) @ |