Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | GNUmakefile | 921 | logplain |
-rw-r--r-- | combinator.rst.in | 42 | logplain |
-rw-r--r-- | conf.py | 2362 | logplain |
-rw-r--r-- | connection.rst.in | 8488 | logplain |
-rw-r--r-- | data.rst.in | 4678 | logplain |
-rw-r--r-- | deployment.rst.in | 24 | logplain |
-rw-r--r-- | host.rst.in | 2239 | logplain |
-rw-r--r-- | ideas.rst | 3945 | logplain |
-rw-r--r-- | image.rst.in | 38 | logplain |
-rw-r--r-- | index.rst | 717 | logplain |
-rw-r--r-- | installation.rst | 1097 | logplain |
-rw-r--r-- | introduction.rst | 13261 | logplain |
-rw-r--r-- | news.rst | 7811 | logplain |
-rw-r--r-- | pitfalls.rst | 7769 | logplain |
-rw-r--r-- | property.rst.in | 5622 | logplain |
-rw-r--r-- | propspec.rst.in | 7714 | logplain |
-rw-r--r-- | reader.rst | 4030 | logplain |
d--------- | tutorial | 174 | logplain |
-rw-r--r-- | util.rst.in | 74 | logplain |