0
I Use This!
Activity Not Available

Commits : Listings

Analyzed about 1 year ago. based on code collected about 1 year ago.
Jan 17, 2023 — Jan 17, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Correctly import large \vert and \Vert More... over 20 years ago
More robust mutators. More... over 20 years ago
Make proof* environment work again for LaTeX conversions. More... over 20 years ago
Notation. More... over 20 years ago
Application of several graphical patches by Henri Lesourd More... over 20 years ago
Dirty fix for non-local changes (should be improved). More... over 20 years ago
Added translations. More... over 20 years ago
Better style/package changing More... over 20 years ago
Better spacing. More... over 20 years ago
Corrections. More... over 20 years ago
Better benchmarking facilities. More... over 20 years ago
Don't search for tfm and pk files if kpsewhich works. More... over 20 years ago
Added benches for OS-interaction. More... over 20 years ago
Added benchmarking flag --debug-bench More... over 20 years ago
Upgrade to version 1.0.3.9. More... over 20 years ago
Fix problem with \\ More... over 20 years ago
Insert the-root routine and removed superfluous stree->tree calls. More... over 20 years ago
Unified routine 'insert' (formerly insert-string, insert-tree and insert-stree). More... over 20 years ago
Introduce 'content' abstraction for tree and stree. More... over 20 years ago
Correct inclusion of images. More... over 20 years ago
More reliable saving of raw_data tag. More... over 20 years ago
More schemy (but less readable) function types. More... over 20 years ago
Rename object -> stree (Scheme tree) when appropriate. More... over 20 years ago
Added the-buffer-path. More... over 20 years ago
Correct several bugs in ip-aware tree system. More... over 20 years ago
Add scheme interface for ip-aware trees. More... over 20 years ago
Further cleaning-up for ip-aware tree mechanism. More... over 20 years ago
Maintain inverse paths for all subtrees of the global meta-document tree. More... over 20 years ago
Make pager inverse path aware. More... over 20 years ago
Remove superfluous routine. More... over 20 years ago