0655d3dAllow syntax rules at the declaration levelEdwin Brady11 years ago cd1d1c8Fix showing of negative numbers in primitive typesMelvar Chen11 years ago 766b73aLook up operator fixity in ElabDavid Raymond Christiansen11 years ago b693b81Merge pull request #2540 from david-christiansen/wip/tacticalDavid Christiansen11 years ago 77324bdMerge pull request #2539 from david-christiansen/hl-kwDavid Christiansen11 years ago ab63941Added top-level %runElab supportDavid Raymond Christiansen11 years ago 239c8caMove resolveTC to ProofSearch.hsEdwin Brady11 years ago 3288a6cFix coverage checker for sigma typesEdwin Brady11 years ago 0140e67Tweak to hole liftingEdwin Brady11 years ago fbb201cMerge branch 'hl-kw' into wip/tacticalDavid Raymond Christiansen11 years ago d741a30Extra info for errors in advanced modeDavid Raymond Christiansen11 years ago 1c87b5eThread the fresh name counter through runElabDavid Raymond Christiansen11 years ago ba3fab0Merge pull request #2538 from raichoo/masterraichoo11 years ago d0b6fafMerge pull request #2536 from david-christiansen/hl-kwDavid Christiansen11 years ago 39c7ea1javascript: support prim_eqPtrraichoo11 years ago 02ea51aMerge pull request #2535 from david-christiansen/hl-if-then-elseDavid Christiansen11 years ago a311df1Merge pull request #2532 from david-christiansen/hl-kwDavid Christiansen11 years ago 8936171Merge pull request #2531 from david-christiansen/sortByDavid Christiansen11 years ago 64db271Parser-driven highlighting for if/then/elseDavid Raymond Christiansen11 years ago db83920Document all exports of Prelude.ListDavid Raymond Christiansen11 years ago baba8f6Add sortBy on lists and documentation for sortingDavid Raymond Christiansen11 years ago 90b7d07Point readers at Elaborator ReflectionJeremy W. Sherman11 years ago 156fb5aDocument interactive theorem proving as deprecated.Jeremy W. Sherman11 years ago