tirix / metamath-web

Metamath web server
http://metamath.tirix.org/mpeuni/toc
MIT License
4 stars 0 forks source link

Support several databases #23

Open tirix opened 1 year ago

tirix commented 1 year ago

Currently only one database is supported. Ideally several databases should be supported:

Maybe a configuration file, rather than command line arguments, would make it easier to provide such a configuration.