Commits

Branch selector

 6ab9862

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 2, 2016

• Redfactor => TamarinAssist

  lordqwerty

  committed
  6ab9862

  Copy full SHA for 6ab9862

Commits on Sep 1, 2016

• Added Sublime Project config

  lordqwerty

  committed
  696b41d

  Copy full SHA for 696b41d

• H h operator

  lordqwerty

  committed
  e18ab77

  Copy full SHA for e18ab77

• Switch email to issue tracker

  lordqwerty

  committed
  2dd461b

  Copy full SHA for 2dd461b

Commits on Aug 31, 2016

• Update screenshots

  lordqwerty

  committed
  448a5d1

  Copy full SHA for 448a5d1

• Trace and Induction auto complete

  lordqwerty

  committed
  23f183e

  Copy full SHA for 23f183e

• Custom Facts and Single quote highlight

  lordqwerty

  committed
  cffd1b8

  Copy full SHA for cffd1b8

• Update Features list to include snippets

  lordqwerty

  committed
  6c2b564

  Copy full SHA for 6c2b564

• Auto Snippets for Theory, Rule, Axiom and Lemma

  lordqwerty

  committed
  ab1edf4

  Copy full SHA for ab1edf4

• Remove duplicate keywords

  lordqwerty

  committed
  48d283f

  Copy full SHA for 48d283f

• Link to screenshots

  lordqwerty

  committed
  fc67db6

  Copy full SHA for fc67db6

• Made some additions / Changes from @samscott89 syntaxes

  lordqwerty

  committed
  a42ec54

  Copy full SHA for a42ec54

• Image rename

  lordqwerty

  committed
  09f5c9a

  Copy full SHA for 09f5c9a

Commits on Aug 2, 2016

• Menu command for check

  lordqwerty

  committed
  fd7e909

  Copy full SHA for fd7e909

• Skeleton for --parse-only as a typechecker

  lordqwerty

  committed
  90d6431

  Copy full SHA for 90d6431

• Now printing out Stderr

  lordqwerty

  committed
  3260063

  Copy full SHA for 3260063

• operator and const updated

  lordqwerty

  committed
  a097ba8

  Copy full SHA for a097ba8

Commits on Jul 25, 2016

• ASCII Header

  lordqwerty

  committed
  046859a

  Copy full SHA for 046859a

• ASCII Header

  lordqwerty

  committed
  cce515e

  Copy full SHA for cce515e

Commits on Jul 22, 2016

• SublimeTamarin Greeting

  lordqwerty

  committed
  2358686

  Copy full SHA for 2358686

• PackageControl.io dev note

  lordqwerty

  committed
  bc4a877

  Copy full SHA for bc4a877

• Tamarin references insert

  lordqwerty

  committed
  f69e010

  Copy full SHA for f69e010

• GPLv3

  lordqwerty

  committed
  3a40b2b

  Copy full SHA for 3a40b2b

• README update and screenshots added

  lordqwerty

  committed
  ca74bd8

  Copy full SHA for ca74bd8

• Constant for Syntax to keep PEP8 happy

  lordqwerty

  committed
  99db8ba

  Copy full SHA for 99db8ba

• Set Tamarin syntax on output window

  lordqwerty

  committed
  9d4cc41

  Copy full SHA for 9d4cc41

• Refactor to minimal syntax

  lordqwerty

  committed
  9fff587

  Copy full SHA for 9fff587

Commits on Jul 21, 2016

• Bug fix

  lordqwerty

  committed
  dd48cc2

  Copy full SHA for dd48cc2

• Disclaimer

  lordqwerty

  committed
  9d4f3cd

  Copy full SHA for 9d4f3cd

• Tamarin now launches from within sublime with --prove

  lordqwerty

  committed
  74b2e94

  Copy full SHA for 74b2e94

• Commands now present

  lordqwerty

  committed
  51c858e

  Copy full SHA for 51c858e

• Basic settings

  lordqwerty

  committed
  d21af8a

  Copy full SHA for d21af8a

• Spthy syntax

  lordqwerty

  committed
  3f924b7

  Copy full SHA for 3f924b7

• Tamarin syntax

  lordqwerty

  committed
  92ac58f

  Copy full SHA for 92ac58f

• Message system

  lordqwerty

  committed
  9a22670

  Copy full SHA for 9a22670

Pagination

Previous

Next