Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 1, 2016

• updated to 8.5

  

  Beta Ziliani

  committed
  ec91784

  Copy full SHA for ec91784

Commits on Oct 6, 2015

• fixing build issue.

  

  Gregory Malecha

  committed
  e82e7ee

  Copy full SHA for e82e7ee

Commits on Oct 2, 2015

• added file for pattern matching directly inside mtac

  beta-ziliani

  committed
  e264a4c

  Copy full SHA for e264a4c

• example of match goal not quite there yet

  beta-ziliani

  committed
  c58bf9e

  Copy full SHA for c58bf9e

• added .gitignore

  beta-ziliani

  committed
  4dbd959

  Copy full SHA for 4dbd959

Commits on Jul 14, 2015

• imported destruct tactic

  beta-ziliani

  committed
  e5a3180

  Copy full SHA for e5a3180

Commits on Jul 13, 2015

• Changed notation of mmatch to avoid collition with other notations

  beta-ziliani

  committed
  f91bdfb

  Copy full SHA for f91bdfb

Commits on Jun 15, 2015

• testing mmatch as a mtactic

  beta-ziliani

  committed
  0350a38

  Copy full SHA for 0350a38

• mmatch now raises an exception instead of blocking, and fixed mtry notation

  beta-ziliani

  committed
  7f50e88

  Copy full SHA for 7f50e88

• Simplified notation: mtry and mmatch now share the with ... end notation

  beta-ziliani

  committed
  3de4162

  Copy full SHA for 3de4162

Commits on Jun 14, 2015

• added fill_implicits tactic

  beta-ziliani

  committed
  bcae8ca

  Copy full SHA for bcae8ca

Commits on Jun 13, 2015

• mtac tutorial

  beta-ziliani

  committed
  e34c5d5

  Copy full SHA for e34c5d5

Commits on Jun 12, 2015

• changed array because it was generating problems with universes

  beta-ziliani

  committed
  ffc91c6

  Copy full SHA for ffc91c6

• failed attempt at making Mtac polymorphic and some mtactics

  beta-ziliani

  committed
  3734f71

  Copy full SHA for 3734f71

Commits on Jun 9, 2015

• not yet working tactic for refine of mtactics

  beta-ziliani

  committed
  ba0ceaf

  Copy full SHA for ba0ceaf

• Mtac as a plugin is born

  beta-ziliani

  committed
  c93b6f0

  Copy full SHA for c93b6f0

Loading