Commit Graph

6 Commits (10ae6d94a15da91b49f7663dd3c9b54c7ec329ce)

Author SHA1 Message Date
orbiter d2ea250d99 refactoring:
13 years ago
orbiter 88773e4daa changed the default port from 8080 to 8090
14 years ago
orbiter 3197ca42ed preparations to move the HTCache into cora:
14 years ago
orbiter 5841ee83d3 refactoring
15 years ago
low012 5e4f267a36 *) added subversion properties and edited a few comments
15 years ago
orbiter 3faa011e3d added another search integration help page
15 years ago