Commits

Show all
Author Commit Message Labels Comments Date
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.
Albert Graef
Cosmetic changes.
Albert Graef
Bugfix.
Albert Graef
Add some convenient keybindings, and fix up the conversions for invisible symbols.
Albert Graef
Cosmetic changes.
Albert Graef
Bugfix: Must register a separate converter for each plugin to make them work.
  1. Prev
  2. Next