Open kohlhase opened 8 years ago
Currently the OEIS search engine is at http://ash.eecs.jacobs-university.de:9999/ this should be given a better URI. Also we have to make sure that the search instance is updated with the rest and kept running.
@alexglont you should contact Enxhell about this.
This includes getting the demo to work again (which has the highest priority). @eluzhnica, is there anything to consider here?
In any case, oeis search should not stay on ash. But this is #101
Currently the OEIS search engine is at http://ash.eecs.jacobs-university.de:9999/ this should be given a better URI. Also we have to make sure that the search instance is updated with the rest and kept running.
@alexglont you should contact Enxhell about this.