diff options
author | Guillermo Ramos | 2015-02-05 16:50:43 +0100 |
---|---|---|
committer | Guillermo Ramos | 2015-02-05 16:50:43 +0100 |
commit | 92c6f13bbe48a47f932ac94677cd61f4c97ab090 (patch) | |
tree | 5dec06fa93671ef2766f3b8b613e45a8567e3311 /templates/home.hamlet | |
parent | 518ef6fff0d17440b7f19fdaed04061be5096848 (diff) | |
download | turing-web-92c6f13bbe48a47f932ac94677cd61f4c97ab090.tar.gz |
JSON-formatted commands
Diffstat (limited to 'templates/home.hamlet')
-rw-r--r-- | templates/home.hamlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/templates/home.hamlet b/templates/home.hamlet index 4155dbb..9b429b5 100644 --- a/templates/home.hamlet +++ b/templates/home.hamlet @@ -4,7 +4,7 @@ <div class="col-sm-12 col-md-12"> <div class="row"> <div class="col-sm-12 col-md-12"> - <pre id="#{results}"> + <pre id="#{prTape}"> <div class="row"> <div class="col-sm-12 col-md-12"> <button id="#{butBeginning}" class="btn"> @@ -17,4 +17,4 @@ <span class="glyphicon glyphicon-step-forward"> <div class="row"> <div class="col-sm-12 col-md-12"> - <pre id="#{state}"> + <pre id="#{prTrans}"> |