|
|
c71e442929
|
documentation improvements
Based on PR #1101 by @drewrisinger
|
2018-09-26 12:12:37 +08:00 |
|
|
|
ad85a0cee3
|
add session manager (#691)
|
2017-05-15 17:05:22 +08:00 |
|
|
|
69099691f7
|
doc: clarify usage of pause/check_pause, closes #571
|
2016-10-17 20:08:15 +08:00 |
|
|
|
82fbd3e9c9
|
doc: CCBs, applet setup from experiment
|
2016-09-09 23:25:29 +08:00 |
|
|
|
ecda94705e
|
doc/management_system: point out check_pause() (closes #522)
|
2016-07-21 16:42:09 +02:00 |
|
|
|
7453d85d5e
|
GUI -> dashboard
|
2016-04-04 22:12:45 +08:00 |
|
|
|
5e14afde3e
|
scheduler: use current (last scanned) repo revision instead of HEAD
|
2015-12-06 19:00:41 +08:00 |
|
|
|
2c77c80b4f
|
master: expose more scheduler APIs to the experiments
|
2015-10-30 13:41:18 +08:00 |
|
|
|
ceb18d05b3
|
manual/management: add warning about setups that resolve the current hostname to localhost. closes #134
|
2015-10-13 01:47:18 +08:00 |
|
|
|
12b3157009
|
doc: add precision about Git commit management
|
2015-08-14 10:37:45 +08:00 |
|
|
|
d9d74661c1
|
doc: scheduling
|
2015-08-10 15:17:02 +08:00 |
|
|
|
9772676f2d
|
doc: cleanup shell prompts
|
2015-08-10 15:16:52 +08:00 |
|
|
|
799a58a442
|
doc: minor cleanup
|
2015-08-09 14:14:55 +08:00 |
|
|
|
e8aa825a9d
|
doc: git integration
|
2015-08-08 22:27:57 +08:00 |
|
|
|
7299a2cf02
|
doc/manual/management: add short descriptions of tools
|
2015-02-15 14:55:15 -07:00 |
|
|
|
17685d1e98
|
controller manager skeleton
|
2015-02-06 12:17:51 +08:00 |
|
|
|
9fb42e4952
|
doc: use sphinx-argparse
|
2015-01-23 00:52:13 +08:00 |
|
