use published versions, doc up, update CHANGELOG

2018-05-12 20:41:42 +02:00
parent 3a4a5be709
commit 0f139c386b
24 changed files with 548 additions and 555 deletions
--- a/gen-examples.sh
+++ b/gen-examples.sh
@@ -11,8 +11,8 @@ main() {
        panic
        crash
        exception
-        device
        allocator
+        device
    )

    rm -rf src/examples
@@ -20,7 +20,7 @@ main() {
    mkdir src/examples

    cat >src/examples/mod.rs <<'EOF'
-//! Examples
+//! Examples sorted in increasing degree of complexity
 // Auto-generated. Do not modify.
 EOF