Rudi Grinberg f163f6197a Merge branch 'master' into rename-build-profile		2018-07-02 13:45:00 +07:00
..
advanced-topics.rst	Update doc	2018-07-01 01:46:32 +07:00
conf.py	Read The Docs	2017-05-15 11:53:55 -04:00
configurator.rst	Add Configurator.V1.write_flags	2018-04-17 16:07:38 +02:00
documentation.rst	Fix sphinx warnings (#835)	2018-06-01 14:24:35 +01:00
dune	Update tests for new variables syntax	2018-06-28 09:48:35 +06:30
dune.inc	Remove most useless parentheses from the syntax (#915)	2018-06-27 16:38:05 +01:00
faq.rst	Fix sphinx warnings (#835)	2018-06-01 14:24:35 +01:00
index.rst	Add migration page to manual	2018-06-25 15:07:28 +06:30
jbuild.rst	Merge branch 'master' into rename-build-profile	2018-07-02 13:45:00 +07:00
known-issues.rst	Move FAQ & Known Issues to manual	2018-03-20 22:47:36 +08:00
menhir.rst	Give menhir its own section in the docs	2018-06-07 17:57:10 +07:00
migration.rst	Add migration page to manual	2018-06-25 15:07:28 +06:30
overview.rst	Fix typos	2017-06-17 12:06:58 -04:00
project-layout-specification.rst	Add templates to Usexp.t directly	2018-06-28 09:46:10 +06:30
quick-start.rst	Fix typo	2018-07-01 15:27:18 +01:00
terminology.rst	Add a "default" alias defined as follow:	2018-07-01 21:50:44 +01:00
tests.rst	Fix typo (#890)	2018-06-18 11:40:14 +01:00
update-jbuild.sh	Remove most useless parentheses from the syntax (#915)	2018-06-27 16:38:05 +01:00
usage.rst	Add a "default" alias defined as follow:	2018-07-01 21:50:44 +01:00