Commit Graph

21 Commits (20287c8392fddb2aa1902744eb4649419b6c80f8)

Author SHA1 Message Date
Alexandru Dima ef9c54d884
Merge pull request #1309 from Kedstar99/HTMLFixes
Fixed various HTML errors with the various webpages
6 years ago
Alex Dima c35fbebb5a Minor tweaks to PR #1309 6 years ago
Alexandru Dima d23fd1e0a0
Merge pull request #1303 from swarnava/copyright-year
Make copyright year dynamic
6 years ago
Alex Dima 78076d9bf8 2018 -> 2019 6 years ago
Joshua Sullivan 185a9d5052 Fix javascript regexp range closing bracket 6 years ago
Krish De Souza 4c2b07fb31 Fixed various HTML errors with the various webpages based against w3 html validator 6 years ago
Alex Dima f537e6e183 Fixes #1014: Update monarch example grammars 6 years ago
Shivansh Saini cad50490f4 Fix typos and grammar mistakes. 6 years ago
Brooks Becton 8aa75f66b5 Removing obsolete Note in Monarch Docs 6 years ago
Niklas Mollenhauer c2cc55508b
Fix hash comment in xdot sample 7 years ago
Peng Lyu e52655e468 Fix #716. 7 years ago
Mustafa 31d31cd817 Updating date at footer 8 years ago
Alex Dima 825ed22017 Optimize loading speed of the website pages 8 years ago
Alex Dima 7a10545fee Clean up fork on github ribbon 8 years ago
Alex Dima 4621d2bfa0 Link to the generated API doc 8 years ago
Alex Dima fb992723d6 Website tweaks 9 years ago
Alex Dima 5b86272f55 Extract playground samples from mdoc, add possiblity to run them from source 9 years ago
Alex Dima 2d6057d65f Show the version number with the website 9 years ago
Alex Dima 300fe6ab69 Run website out of dev 9 years ago
Alex Dima 196f355660 No need for worker proxying in website 9 years ago
Alex Dima 585767bf5e Port over monarch playground 9 years ago