summaryrefslogtreecommitdiff
path: root/main.urs
diff options
context:
space:
mode:
authorGravatar Chelsea Voss <csvoss@mit.edu>2016-11-05 16:57:12 -0400
committerGravatar Chelsea Voss <csvoss@mit.edu>2016-11-05 17:00:25 -0400
commit01a1780abc65db235dbef39f8dd0cd44d400aebe (patch)
tree8b03e02b7fa1d75114ccffd1455bddd356f314a7 /main.urs
parent9e4a75fe23afd82dd4556c73be654366f47bad00 (diff)
Create browser history FFI module; make x button in new actions go back
Diffstat (limited to 'main.urs')
-rw-r--r--main.urs3
1 files changed, 3 insertions, 0 deletions
diff --git a/main.urs b/main.urs
index f9c083b..9eb43a4 100644
--- a/main.urs
+++ b/main.urs
@@ -1,4 +1,5 @@
(* Copyright 2016 Benjamin Barenblat
+Copyright 2016 Chelsea Voss
Licensed under the Apache License, Version 2.0 (the “License”); you may not use
this file except in compliance with the License. You may obtain a copy of the
@@ -12,3 +13,5 @@ CONDITIONS OF ANY KIND, either express or implied. See the License for the
specific language governing permissions and limitations under the License. *)
val main : transaction page
+
+val new : transaction page