Add "Reactive Synthesis" as TBD to documentation
authorClifford Wolf <clifford@clifford.at>
Mon, 22 May 2017 10:26:02 +0000 (12:26 +0200)
committerClifford Wolf <clifford@clifford.at>
Mon, 22 May 2017 10:26:02 +0000 (12:26 +0200)
commit7f871ec89a40eeb1fa839a98d37d85d38bace27a
tree854986d962fc51aec4b6db1cc3e3b5dadb4ff7da
parent8817f61de3c11508e941989cb7d7749dca05868d
Add "Reactive Synthesis" as TBD to documentation
docs/source/index.rst