From e10ef7c1e05519faf0fabecdc72eb4309246c335 Mon Sep 17 00:00:00 2001
From: leon <linwe2012@163.com>
Date: Wed, 9 Oct 2019 18:57:04 +0800
Subject: [PATCH] clean up & update doc

---
 README.md          |   2 +-
 snippets.json      |  15 ++++++++-------
 tamarin-0.0.1.vsix | Bin 3161 -> 0 bytes
 3 files changed, 9 insertions(+), 8 deletions(-)
 delete mode 100644 tamarin-0.0.1.vsix

diff --git a/README.md b/README.md
index 63fa49e..d5243f0 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-# Tamarin Prover Syntax
+# Tamarin Prover Syntax for VSCode
 
 An extension for highlighting tamarin-prover.
 
diff --git a/snippets.json b/snippets.json
index 7f8f5fa..8261fd8 100644
--- a/snippets.json
+++ b/snippets.json
@@ -5,7 +5,7 @@
             "rule $1:",
             "\t[ $2 ]\n\t--[\n\t\t\n\t]->\n\t[ $3 ]"
         ],
-        "description": "Generate rule"
+        "description": "Skeleton of a rule"
     },
     "rule let in": {
         "prefix": "rule",
@@ -20,7 +20,7 @@
             "\t]->",
             "\t[ $4 ]"
         ],
-        "description": "Generate full rule wit let in"
+        "description": "Skeleton of a rule with `let ... in`"
     },
     "theory": {
         "prefix": "theory",
@@ -79,7 +79,7 @@
         "body":[
             "Out($1)"
         ],
-        "description": "Send message out, can be sniffed by attacker"
+        "description": "Send message out, can be intercepted by attacker"
     },
     "init": {
         "prefix": "init",
@@ -87,15 +87,16 @@
             "rule init_$1:",
             "\t[ $2 ]\n\t--[\n\t\t\n\t]->\n\t[ $3 ]"
         ],
-        "description": "Create an init rule"
+        "description": "Skelton init rule"
     },
     "let in": {
         "prefix": "let",
         "body":[
             "\tlet",
-            "\t\t$1",
+            "\t\t$1", 
             "in"
-        ]
+        ],
+        "description": "Macro definition"
     },
     "all-traces": {
         "prefix": "all",
@@ -119,7 +120,7 @@
             "\t$2",
             "\""
         ],
-        "description": "restriction skeleton"
+        "description": "Skeleton of restriction"
     }
 
 }
\ No newline at end of file
diff --git a/tamarin-0.0.1.vsix b/tamarin-0.0.1.vsix
deleted file mode 100644
index 20d421234f92eddff3b2adbe036b4cc64efb5d3e..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 3161
zcmaJ@c{r4N8=hk?OJhlvj$IOFWF05F$QadR5W~o%$vR^n#*mCGb<hYWdv+Nyp_xz|
z`(6p5!8tUM6hgK*;~Up^)v0rR-+A8az24vZ&;7p7eLeSc-*6Zwmly!R#|LQ7)IYBl
z6FX_i0RWWq0080u000vng24rQ`{O|PVDE4&8s~i#6C6_N07FQh6lh*k!*2|VI;-R&
z8xL3%mJX1Gv<qD&F;#x9M~U4-@g=`EGdwvKAL+Qhp(#W~TnmbzJHPfyj!6n*hNlZK
z`A~DTz-<VKa57x>-r1BPmmV4UZdFK~>6`iHItVmABe?(~)eW0_W3SrxTRn%3<1zmH
zT~gWrHN8t0dC48_%Mg(IIaKRtGI9+O1!yr<%$n4Nq!k~xDeozWDQxUnM;3duPt5bU
zy4eUZC8nl#)KjWEW!n#u0#`utP?gj~Tz`Y^qYlj!jff+a;!8ttG<rwS5#pVUpn?5f
zk!#%#iuasoK%9^hePL<Z_OL5l!Rl1T=)6$Sg6ZvvU^o|e(coHmi=YX-wI56I>Fk>0
zkO-C)xMRA6%8sVCAO$ACbglb{KD%|>@%bo@yfMDTGm1@u4mAx46F2FhD`in(OM)5h
zo~}O3G=A#I?T<lB_`*SYddHu$yMczb#!41YzDkZtPEGx!>V+X?@%a*J){W68;nG)h
zr~P9aS0tU*L__txq6Mmq+zuF~p-)QM1$j&=Dr;Yg_q#Z9OI^vYR}kD!I4kTsDSGh8
zIeU}WO&{7L-Q-0r+(#027EOc%T0e~iv94}XAuMp?G0@CQ2JZ-h?>57v!T6kzGV71+
zc;tfe<HmdTi_6r{4CqQ#T$4r(xG|QjxaX^rGn+xV>;B&Owp3oQ!uzlf70su^COGzt
zx2G!QTtvfFcW8<kC$c>ix6NwJi-W5$d%^>Y{R<;Aq0Oa`7ngE+UxML34BiCq@rX9|
zz=iz;0En`mE*Abc_UMINvL^&!f>EGwtX~w_Oo*fjwA{=sdM|Selyves|2mJGyB+U?
zA@6np9)JG}7p+iw%X^!{74)>_SAx9w7@wx&HdSOlh{1x7kxdSDo!(1f8Yxt!D_5^O
zE8&vRM5{xtHxkpWrFjnB$+z%S7*`AN`VG^drAL;7g6b^vv+Q2UxJVE$B&ep2g#^x+
zA{X6e2-H!a$FjQh!AupsXJeEtnfubiZ)D9LlJ3+A@UiY5k7C|Nmzmts$EWcIY1Bqa
zaH$Y3*7X@4dTj{!Z_9jatu?W=#_sZ4{h&2)0NTSB?TG>T1pDKnQq6Gfa_p{CgAx)$
z`Oo2#NAe36xGCxnwY97zfZ94W3V#~8=XBT%*XHiAK6%d7x?zVr9Puq1(pI%;W-c3A
zW6^R2cs<x*>ej}w>sT7MZ5xJS3(;GG=zR&NZb?(!qOQNqCKqOMh9_jZ&TCT=4VU7)
zbSs?Jx<cE$h$Iwk>Snj8@u*cXiJZqXiSo`ZE%;#lyPc%>#PNw5Ruj<bg6zG4C`9Q?
z5fu;gkTs|(?q?Zii0Js!ssr!lq3a(5%HvDpXlD3|nPIr{O7zPiic#dVFpDD=oV(yr
zn4Kh(g9uv{a1!sY*ipZyk@ozE3pHL14&&u}peu1^lTDE#dm;Tz-7gn^KlhC{_Cc9_
ze_K=FU;-`#9gYbGhoG_OAa5Kf1Z#`Nd4{s-q&ZHVXF`C{S4;nrHJ8P^kkf+7)gJrV
zIC#C3m%kq}J9D}|Ev-H|PLy||Fj*&hH+lF_U(HleOH&84ci_bucBhGOB3GqM=dSbP
zz_)a1p?(F)H9rP+G6meToczc8cjsBG>AA?=F|YZzBwuC{?nO1|MIO(}(`)(sbA;HH
z7D*I}Wq=2Eti_KBmZwUj-3$N2PcOJ4BS<j|X||Z0K9Hp~dzd6_AK)RX|IvVd>j;lC
zen2s{k_ma$9qm5*{szAuD7Y-@1<oXzu~uRCsAwY+EA}N|VPR6KbXnuEV~-28>bh2T
zt!GkcNujFcWs6|te1u14-)J|I#Zxl1BpL)7PRCe@t`1z=xZL{?AfLnV7<KBu)bEjF
z6m7zX%-<X$3r79c=|YS3t7Mc7Q$H8QtyE7-662<cFcaf8>U2TA2k!*u>aiE*^2G`I
z_3>FDz`iW#VP8*AErd_el_#&zY0n#M%^vEMw#e}NJRH!qy`_$Xqg&%<tl!#5NkY*#
zDGn`4wiFRcJqHhOh_H|2`&J)aKb+}dl9>!iQ)>L^4pg+*tK<5?nga5@m%!5dqlu`z
z+`f9C$Ys64IL$pLpr8&v6mwuYizHbOw^h-sXf9R|GbBAlBF&t@iaqq!&evo~<<6zt
zk0+ky8Dzq^#mbKkW?D-8QW9dh;>`nz*eba(qgci(LJ_s6u*Mx~RIF-L%dT|Z+`iH#
z3C#qmb{eKTxrM_|106C58Dd{7aJMeZNm)n*O<c84%?<KZQ2N9>&)Xxb$q2}5J&T@R
zmBQh=X|cOE>IRNY9@fbb4?#Yu4CA@`C?X8I`mD+1fv=i4Nl%QZqh@Do^|=dFg~qLc
zGN)we*-dE$gw3!)^Bk9|2rH)TOj$@((vyWbjd*Zb53$XUs6ChfTU+LciVj%4RwtN;
zJG6dz=Q+daIeDF{67~Fp2mxjg-J-ir8&#$uw#$t{;+r+(_|9r8<Zj2ayW86Zk*F4l
zFXk-)LRmVQ8e8VWyQjDSQ%iR%wuMkitWB}%NW#pk51zRxpNgKcUb>v?H@Bp>?Cq3H
zREqsd>ZXP~2Qk{2%uBzNtW7+$NJ)wBe(SQcmGt@4BEH;YD>Pu#-(RjOdA(`j0PzcZ
zlk@UHJnODHa{>TJ{_nM#70~#DR%QNOtL!D;>45dm(FC$4ZT>oR!{$P5U#1_jR++30
zK1~q|&9X7E4b?T67Pi;q%PGCkv}Y`BoehHNT2^kvw1+hlm-6cj9<*8<^)|8YYP-RR
z=+_KQhJ#luq{hD_pW>GNY_|7tgmTvS_7pYv46K+Oh`pwrjY`q|*%V?soM;LORAEHo
z35z}=T;}g=#y%^*^FGq{$_L{<iwTE5I4YUz3ANE`&WCEsaSGhqY3xI^nW$N3{WZv3
zt@1|7KOojFMITapQ;ld-zduqpEXwaG335~sXJ)+})OYH;>&x#*2_i{T1%aI>32pZc
z4N_`cKc2=-A_fe4=k=;;mrYO5cv>JgJ<JU_O|u_MpEo=aOL8KcDl>{4TpZqXwNT_o
zJ{nQ4sN}-;+%=1M+wsoJodnFfm6%;^f_v+&E|UW8ndli>qR27}oY)(?dq*XA3;7-?
z^A7gFV!^T@x}LNqvfMbBg2g5^JT}Z!=vO3-TQbF~nx{}Y!o*>tYL{As{3YqW?&+-z
zO4Mm{xfO(AAFpH&5VZo${WYS4SdhMceUppwI_?;zKnXDKSn$LLp-~D|?Y@vP=Wu5`
zUJ90}^7=!7<*!}#^_L|q+Xz6NnWCG6<|Bc*HX^mcbkwJs*&=rrGFFB-rpk1R>d53V
z5OUih!)Qk_L}n_XR`p_ZcB*=>_IXtDpJ!&F!kO<1e?Ov~oqeu+jV{Po&eQXv<qB<i
z;jP@q^`316tm3q!vQJr0h-f(NO5Nhz;@+RbfJ)Y`A=@wL>;Mag{lsCy`TxW1R~LB{
zvw!;LAwNXje`5SIr~HjUV1M<0q?WG$UtRxuQ`>j_uSJjXW6S5;PyCPpzQ@?NzwgDi
zZ+~Bl9#hWsJ;uM7;rEdHD*c|feU*MKdJKZ^Um@9=g~PbnYy$w??8}Rt-zE<3zx@YN
Czi}i0