|
aldor
|
2017-01-24
|
hemmecke
|
[r2168]
add multivariate "easy types"
|
|
algebra
|
2018-03-05
|
whebisch
|
[r2371]
Improve Texmacs interface
|
|
boot
|
2014-10-16
|
whebisch
|
[r1816]
Misc cleanups
|
|
clef
|
2014-05-01
|
whebisch
|
[r1743]
Silence some warnings.
|
|
doc
|
2018-02-25
|
whebisch
|
[r2362]
Fix typos
|
|
etc
|
2017-05-15
|
whebisch
|
[r2283]
Update and simplify fricas script
|
|
graph
|
2016-02-22
|
whebisch
|
[r1973]
Cleanup C files
|
|
hyper
|
2018-02-25
|
whebisch
|
[r2365]
Eliminate 'register' keyword
|
|
include
|
2018-02-25
|
whebisch
|
[r2365]
Eliminate 'register' keyword
|
|
input
|
2018-02-26
|
whebisch
|
[r2369]
Fix '^'
|
|
interp
|
2018-02-26
|
whebisch
|
[r2367]
Fix breakage due to '$resolve_level'
|
|
lib
|
2017-08-05
|
whebisch
|
[r2318]
Support GMP in nonstandard location
|
|
lisp
|
2018-03-05
|
whebisch
|
[r2371]
Improve Texmacs interface
|
|
paste
|
2013-07-09
|
hemmecke
|
[r1586]
re-establish HyperDoc content from .htex sources
|
|
scripts
|
2014-10-16
|
whebisch
|
[r1816]
Misc cleanups
|
|
share
|
2017-01-27
|
whebisch
|
[r2174]
Move some messages to source code
|
|
sman
|
2016-08-29
|
whebisch
|
[r2080]
Spelling fixes
|
|
Makefile.in
|
2016-08-29
|
whebisch
|
[r2082]
Remove book target
|
|
Makenotes.tex
|
2018-02-21
|
whebisch
|
[r2354]
Documentation cleanup
|