Commit Graph

5 Commits (1214615185949a90fb7cca166acd5b6a00fb7e9d)

Author SHA1 Message Date
orbiter 88773e4daa changed the default port from 8080 to 8090 14 years ago
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