Commit Graph

4 Commits (1bda9e7ed9ab5218fa4e87b7a7c14d1e316574f1)

Author SHA1 Message Date
orbiter 3197ca42ed preparations to move the HTCache into cora:
15 years ago
orbiter 5841ee83d3 refactoring
16 years ago
low012 5e4f267a36 *) added subversion properties and edited a few comments
16 years ago
orbiter 3faa011e3d added another search integration help page
16 years ago