search

theoremprover-museum / theoremprover-museum.github.io

https://theoremprover-museum.github.io
GNU General Public License v3.0
52 stars 7 forks source link

move to a Jekyll-based setup (easier to have news, ... )? #7

Closed kohlhase closed 6 years ago

kohlhase commented 7 years ago

We should think about this. It seems to me that we only have to copy over the setup from ICMS or so.

tkw1536 commented 6 years ago

I have made this a very basic Jekyll site for now.

kohlhase commented 6 years ago

thanks, I will have a look and extend.

kohlhase commented 6 years ago

this looks great. but I would like to have news as well. I have written a couple of posts under _posts @tkw1536 could you integrate them?

kohlhase commented 6 years ago

also having an atom feed would be great.

kohlhase commented 6 years ago

the setup can be copied from the openmath or KWARC sites.

kohlhase commented 6 years ago

All in all, this looks much much better.

kohlhase commented 6 years ago

OH, and we need the timestamp for the swMATH.

tkw1536 commented 6 years ago

Added news, timestamp, and proper urls.

Closing this issue, as the initial move is completed. Please create separate issues for other improvements.

kohlhase commented 6 years ago

thanks a lot.