Robert Tice
|
d83f82ea92
|
Adding support for books subspace. There is now a book list in the resources directory which is used to populate the book list. Each book has a directory and a list of pages.
|
2017-11-21 16:21:59 -05:00 |
|
Nicolas Setton
|
173e6d1f1c
|
Fix style issue
Cancel bootstrap right margin fiddling, needed for embedding.
|
2017-10-17 16:43:21 -04:00 |
|
Nicolas Setton
|
0d9cc70e41
|
Allow embedding the code_embed page
... naturally.
|
2017-10-17 16:13:42 -04:00 |
|
Nicolas Setton
|
b293481f12
|
Remove margins on embeddable editor
|
2017-10-17 15:45:56 -04:00 |
|
Nicolas Setton
|
4e3057a6de
|
Add an URL that provides an embeddable editor
|
2017-10-17 15:36:09 -04:00 |
|
Nicolas Setton
|
c9ca24e99d
|
Use Django directly to set the Allow-Access-Control-Origin
Since the cors plugin seems to only set it when an origin
header is passed to the request, which Chrome does not do.
|
2017-10-10 15:53:04 -04:00 |
|
Nicolas Setton
|
5c5a21811f
|
Allow anyone to make requests to this server
This is done by using django-cors-headers and telling
it to set Access-Control-Allow-Origin.
|
2017-10-10 14:07:00 -04:00 |
|
Nicolas Setton
|
85bb873d17
|
Add the possibility to run programs
This is deactivated for now.:
|
2017-10-10 12:01:19 -04:00 |
|
Nicolas Setton
|
f79211ee14
|
Allow other hosts to connect to the server
This allows a machine to serve contents for other servers.
|
2017-10-10 11:54:03 -04:00 |
|
Nicolas Setton
|
291b6052be
|
Support several server instances
To do this, we can no longer rely on in-memory sharing of data: instead,
use the filesystem to store the output and status of the running
processes.
|
2017-09-11 15:47:46 -04:00 |
|
Nicolas Setton
|
52ce097894
|
Improve error reporting
|
2017-09-11 11:40:12 -04:00 |
|
Nicolas Setton
|
97d0ff0fb7
|
Minor UI improvements
Fiddle with spacing, margin, fonts.
Improve the display of errors.
Add framework for launching several processes in succession.
|
2017-09-07 16:18:37 -04:00 |
|
Nicolas Setton
|
01b2214082
|
Asynchronousify the running of processes...
... and report the output in real time to the interface.
|
2017-09-07 12:09:54 -04:00 |
|
Nicolas Setton
|
6c3302249c
|
Polishing touches
Minor UI fixes and doc cleanup.
|
2017-09-07 09:43:34 -04:00 |
|
Nicolas Setton
|
63a695571a
|
Squash migrations
|
2017-09-06 16:16:53 -04:00 |
|
Nicolas Setton
|
22668eb9e4
|
Do not rely on the gnatprove error return
... it returns 0 even if messages were found.
|
2017-09-06 15:56:34 -04:00 |
|
Nicolas Setton
|
71b219ce6f
|
Implement the code checker
The 'Check' button now launches GNATprove
|
2017-09-06 15:50:03 -04:00 |
|
Nicolas Setton
|
6e41451a08
|
Initial revision of checker, work in progress
|
2017-09-06 09:14:18 -04:00 |
|
Nicolas Setton
|
54a1ce7b4f
|
(WIP) work on checker
|
2017-09-04 20:16:02 -04:00 |
|
Nicolas Setton
|
b011b1252d
|
Add a page which lists all the examples.
And slightly improve the decision as to which file(s) to import
as an example.
|
2017-09-04 14:01:38 -04:00 |
|
Nicolas Setton
|
2553de3e2b
|
Goto line 1 in editors after refresh
Fixes an issue where the initial content was
selected.
|
2017-09-04 13:16:18 -04:00 |
|
Nicolas Setton
|
886f00e483
|
Templatify the HTML pages.
And add a "reset" button on editors.
|
2017-09-04 11:23:08 -04:00 |
|
Nicolas Setton
|
33a37401b6
|
Separate the javascript for populating editors
|
2017-09-04 10:56:18 -04:00 |
|
Nicolas Setton
|
ece6bf5584
|
Initial revision of a "Check" button
|
2017-09-03 21:45:08 -04:00 |
|
Nicolas Setton
|
c8d2811f29
|
Style using twitter bootstrap v3
And put editors in nice tabs.
|
2017-09-03 13:57:20 -04:00 |
|