Commits

Show all
Author Commit Message Labels Comments Date
Albert Graef
Bump version numbers.
Tags
2 tags
Albert Graef
Bugfix: pure-texmacs package should be architecture-independent.
Albert Graef
Debian packaging: Add pure-texmacs package.
Albert Graef
Update Debian package information.
Albert Graef
Added tag pure-0.56 for changeset fd2cbc3bb6e3
Albert Graef
Update Debian package information.
Tags
pure-0.56
Albert Graef
Final touches for 0.56 release.
Albert Graef
Fix issue #91.
Albert Graef
LLVM 3.2 compatibility fixes.
Albert Graef
Typo.
Albert Graef
Update logs.
Albert Graef
Windows compatibility fixes.
Albert Graef
Update documentation.
Albert Graef
Windows/Mingw compatibility fixes (gcc 4.7 warnings).
Albert Graef
Windows/MSys compatibility fixes.
Albert Graef
Update unification algorithm by Kurt Pagani.
Albert Graef
Text changes.
Albert Graef
Fix memory leak in the str function.
Albert Graef
Optimize temporary string allocations (experimental).
Albert Graef
Add a note about calling the reduce macro from local functions.
Albert Graef
Update NEWS.
Albert Graef
Update ChangeLog.
Albert Graef
Fixes issue #95.
Albert Graef
Fixes issue #96.
Albert Graef
Fixes issue #93.
Albert Graef
Partially revert c8059eb7b83a. Fixes issue #92.
Albert Graef
Extra simplifications of partially evaluated logical connectives.
Albert Graef
Typo.
Albert Graef
Typo.
Albert Graef
Update documentation.
  1. Prev
  2. Next