21 commits

Author	SHA1	Message	Date
Alexandru Dima	ef9c54d884	Merge pull request #1309 from Kedstar99/HTMLFixes ... Fixed various HTML errors with the various webpages	2019-03-01 22:54:09 +01:00
Alex Dima	c35fbebb5a	Minor tweaks to PR #1309	2019-03-01 22:53:38 +01:00
Alexandru Dima	d23fd1e0a0	Merge pull request #1303 from swarnava/copyright-year ... Make copyright year dynamic	2019-03-01 22:49:29 +01:00
Alex Dima	78076d9bf8	2018 -> 2019	2019-03-01 22:48:57 +01:00
Joshua Sullivan	185a9d5052	Fix javascript regexp range closing bracket	2019-02-26 07:16:04 -08:00
Krish De Souza	4c2b07fb31	Fixed various HTML errors with the various webpages based against w3 html validator	2019-02-10 02:45:46 +00:00
Alex Dima	f537e6e183	Fixes #1014: Update monarch example grammars	2018-11-12 11:11:29 +01:00
Shivansh Saini	cad50490f4	Fix typos and grammar mistakes.	2018-10-28 19:45:19 +05:30
Brooks Becton	8aa75f66b5	Removing obsolete Note in Monarch Docs	2018-10-06 09:15:54 -05:00
Niklas Mollenhauer	c2cc55508b	Fix hash comment in xdot sample	2018-06-13 19:10:05 +02:00
Peng Lyu	e52655e468	Fix #716.	2018-03-02 16:50:02 -08:00
Mustafa	31d31cd817	Updating date at footer	2017-04-06 09:38:25 +03:00
Alex Dima	825ed22017	Optimize loading speed of the website pages	2016-10-22 13:27:34 +02:00
Alex Dima	7a10545fee	Clean up fork on github ribbon	2016-10-21 12:04:54 +02:00
Alex Dima	4621d2bfa0	Link to the generated API doc	2016-10-21 11:53:00 +02:00
Alex Dima	fb992723d6	Website tweaks	2016-09-07 09:23:43 +02:00
Alex Dima	5b86272f55	Extract playground samples from mdoc, add possiblity to run them from source	2016-09-06 12:34:53 +02:00
Alex Dima	2d6057d65f	Show the version number with the website	2016-09-05 16:34:19 +02:00
Alex Dima	300fe6ab69	Run website out of dev	2016-08-27 12:15:58 +02:00
Alex Dima	196f355660	No need for worker proxying in website	2016-08-27 11:21:32 +02:00
Alex Dima	585767bf5e	Port over monarch playground	2016-06-16 18:24:31 +02:00