|
aldor
|
2014-10-15
|
hemmecke
|
[r1813]
fix location of git mirror of svn repository
|
|
algebra
|
2014-11-08
|
whebisch
|
[r1821]
Avoid FINISH-OUTPUT
|
|
boot
|
2014-10-16
|
whebisch
|
[r1816]
Misc cleanups
|
|
clef
|
2014-05-01
|
whebisch
|
[r1743]
Silence some warnings.
|
|
doc
|
2014-11-09
|
whebisch
|
[r1822]
Update INSTALL and release notes
|
|
etc
|
2014-10-11
|
whebisch
|
[r1810]
Remove unused noweb stuff.
|
|
graph
|
2014-10-11
|
whebisch
|
[r1810]
Remove unused noweb stuff.
|
|
hyper
|
2014-05-18
|
hemmecke
|
[r1768]
\axiom* \spad*
|
|
include
|
2014-05-01
|
whebisch
|
[r1743]
Silence some warnings.
|
|
input
|
2014-10-17
|
whebisch
|
[r1817]
Fix a test
|
|
interp
|
2014-11-08
|
whebisch
|
[r1821]
Avoid FINISH-OUTPUT
|
|
lib
|
2014-10-16
|
whebisch
|
[r1816]
Misc cleanups
|
|
lisp
|
2014-05-02
|
whebisch
|
[r1748]
Nicer error messages.
|
|
paste
|
2013-07-09
|
hemmecke
|
[r1586]
re-establish HyperDoc content from .htex sources
|
|
scripts
|
2014-10-16
|
whebisch
|
[r1816]
Misc cleanups
|
|
share
|
2014-03-24
|
whebisch
|
[r1704]
Generate command.list
|
|
sman
|
2014-10-11
|
whebisch
|
[r1810]
Remove unused noweb stuff.
|
|
Makefile.in
|
2014-03-24
|
whebisch
|
[r1704]
Generate command.list
|
|
Makenotes.tex
|
2013-11-16
|
hemmecke
|
[r1667]
remove trailing whitespace, trailing empty line...
|