blob: cd1914e568fcdf293206b95cb9d5ab825e0cbd6c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
2014-02-10 Gabriel Dos Reis <gdr@integrable-solutions.net>>
* config/open-axiom.m4: Clean up global variable names.
* configure.ac: Likewise.
2014-02-03 Gabriel Dos Reis <gdr@integrable-solutions.net>
* config/open-axiom.m4: Clean up global variable names.
* config/setup-dep.mk: Likewise.
* config/var-def.mk: Likewise.
* configure.ac: Likewise.
2014-02-02 Gabriel Dos Reis <gdr@integrable-solutions.net>
* config/open-axiom.m4 (OPENAXIOM_CHECK_IO): Prefer mktemp,
mkdtemp, mkstemp over tempnam.
|