Nicolas Setton
b53ad5363c
Remove common.css
...
This has been moved to the learn repository.
2019-02-06 15:06:23 -05:00
Nicolas Setton
e027209f7c
Add as a souce directory the location of site-side javascript
2019-02-01 14:54:28 -05:00
Nicolas Setton
5e31cf3c87
Remove empty directory
2019-01-04 12:11:37 -05:00
Nicolas Setton
5d905387b1
Revert "Remove static files"
...
These files are needed for the iframe version (for instance
for the SPARK Pro page).
This reverts commit 60f26a2fd5
2018-07-19 03:03:35 -04:00
Nicolas Setton
60f26a2fd5
Remove static files
...
Now served by github pages.
2018-07-17 07:53:54 -04:00
Nicolas Setton
f0dcfe56aa
Fix issue with intermingling lines when running two snippets
2018-07-16 20:14:50 -04:00
Nicolas Setton
8b92f728d3
Disable the buttons while processing is ongoing
...
Prevents spamming the "run" button, for instance.
2018-07-16 13:22:18 -04:00
Nicolas Setton
10160040cd
Remove the handling of readonly sections
...
... for this release.
2018-07-16 10:21:03 -04:00
Nicolas Setton
adbe60e7ec
Replace use of startsWith by indexOf, for compatibility with IE
2018-06-29 15:30:24 -04:00
Nicolas Setton
d14ec2fcb1
Do not count info messages as errors.
2018-06-20 15:17:43 -04:00
Nicolas Setton
6378138746
Rename the "Prove" button to "Examine" when in flow mode
2018-06-18 14:27:00 -04:00
Nicolas Setton
e3b31ba99f
Add support for making the "info" lines blue
...
For R525-028
2018-06-18 14:23:18 -04:00
Nicolas Setton
65b5629234
R525-028 Add features for the SPARK course
...
Add the ability to pass extra arguments to the prover.
2018-06-05 20:07:47 -04:00
Nicolas Setton
e959ffe624
Fix error introduced in refactoring
2018-06-05 15:26:40 -04:00
Nicolas Setton
317c180aee
R525-028 Add support for editors with just a 'Run' button
...
Enable the running backend (in completely unsafe mode for now)
Code cleanup in editors.js.
For inline editors, do not require an AJAX request to get the
example base, assume everything is provided inline.
Add support for providing shadow files: these will not be displayed
in editors but will be transmitted to the backend.
2018-06-05 12:54:01 -04:00
Nicolas Setton
d46e6bd7ae
R525-008 Fix regexp for detecting file names
2018-06-02 13:37:36 -04:00
Nicolas Setton
41f88d850b
Add facility to provide files to a code template
...
For R525-028.
2018-06-01 21:58:32 -04:00
Robert Tice
5c8de067a8
Removing books interface.
2018-04-20 11:01:14 -04:00
Robert Tice
4dd0cc4334
Adding ability to make editors read only with readonly attribute on editor container.
2018-04-11 10:34:28 -04:00
Robert Tice
bb58eeabb0
Working on books styling and features. Adding read only and overrideable sections to editor and templates.
2018-04-11 10:09:01 -04:00
Robert Tice
8c931b1147
Removing bootstrap in favor of simpler Pure framework for the menubar.
2018-02-23 16:45:44 -05:00
Robert Tice
fec9ab91fc
Moving structure of reader renderer to enable single page or multiple page documents. The toc gets computed on the fly by parsing the html for headers and links are added for document scroll hotlinking.
2018-02-22 14:47:36 -05:00
Robert Tice
a14abff8a9
Adding ability to click on links in the side bar and scroll to the correct page. Pages will be loaded on the way.
2018-01-19 10:31:48 -05:00
Robert Tice
b500ceab09
Replaced custom pagination with django pagination and added jquery waypoints to auto load pages as the user scrolls. Have to add the ability to render and jump to sections of the page.
2018-01-18 17:14:31 -05:00
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
