| .. |
|
_static
|
doc: use sphinx_rtd_theme
|
2016-08-25 21:52:46 +02:00 |
|
_templates
|
doc: use sphinx_rtd_theme
|
2016-08-25 21:52:46 +02:00 |
|
Makefile
|
doc: add sphinx infrastructure
|
2014-09-18 17:45:54 +08:00 |
|
compiler.rst
|
manual: fix table formatting
|
2017-06-05 17:39:54 +08:00 |
|
conf.py
|
Hack-patch Sphinx so that ARTIQ-Python types are correctly printed.
|
2017-11-25 14:45:31 +08:00 |
|
core_device.rst
|
manual: update Kasli section
|
2018-02-21 12:04:14 +08:00 |
|
core_drivers_reference.rst
|
remove old spi RTIO Phy
|
2018-03-01 11:19:18 +01:00 |
|
core_language_reference.rst
|
artiq.experiment: merge language and coredevice namespaces
|
2016-01-25 17:24:00 -07:00 |
|
default_network_ports.rst
|
pdq: move to https://github.com/m-labs/pdq
|
2017-07-19 17:35:28 +02:00 |
|
developing.rst
|
doc: fix typo
|
2018-02-17 00:11:48 +08:00 |
|
developing_a_ndsp.rst
|
Use commandline prefix for controllers
|
2017-05-22 00:22:10 +08:00 |
|
drtio.rst
|
manual: minor fixes to DRTIO doc
|
2017-06-05 13:26:56 +08:00 |
|
environment.rst
|
generate device database from executable python file
|
2017-05-18 23:14:55 +08:00 |
|
faq.rst
|
python3.5 -> python3
|
2017-01-30 09:24:43 +08:00 |
|
getting_started_core.rst
|
generate device database from executable python file
|
2017-05-18 23:14:55 +08:00 |
|
getting_started_mgmt.rst
|
generate device database from executable python file
|
2017-05-18 23:14:55 +08:00 |
|
index.rst
|
manual: add DRTIO intro
|
2017-04-12 00:43:35 +08:00 |
|
installing.rst
|
doc: clean up artiq-dev installation instructions
|
2017-12-07 12:31:30 +01:00 |
|
introduction.rst
|
README: update credits/roles
|
2017-07-25 13:34:00 +08:00 |
|
management_system.rst
|
add session manager (#691)
|
2017-05-15 17:05:22 +08:00 |
|
ndsp_reference.rst
|
pdq: move to https://github.com/m-labs/pdq
|
2017-07-19 17:35:28 +02:00 |
|
protocols_reference.rst
|
doc: remote execution
|
2016-04-06 19:13:41 +08:00 |
|
release_notes.rst
|
RELEASING.rst, doc: show release notes in manual
|
2016-01-25 17:20:15 -07:00 |
|
rtio.rst
|
remove old spi RTIO Phy
|
2018-03-01 11:19:18 +01:00 |
|
utilities.rst
|
generate device database from executable python file
|
2017-05-18 23:14:55 +08:00 |
Robert Jördens
cc70578f1f