2cefa5cSimplify replWithEdwin Brady11 years ago f3f828cAdd a couple of doc commentsEdwin Brady11 years ago 15d3674Merge pull request #2530 from melted/exeNiklas Larsson11 years ago d4f9403No need to add .exe to the output name, it will be done later anywayNiklas Larsson11 years ago 31642c1Merge pull request #2522 from Melvar/fix-syntax-updateDavid Christiansen11 years ago 46bdfa9Revert quasiquote001Edwin Brady11 years ago dccd072Update quasiquoute001 outputEdwin Brady11 years ago bddc058(Temporary) remove hasValidIBCVersion checkEdwin Brady11 years ago 2924079Remove proofs from List.zipWith and friendsEdwin Brady11 years ago 7f6aeabAdd tactic cases to syntax substitutionMelvar Chen11 years ago 7c660c6Add missing cases to syntax substitutionMelvar Chen11 years ago a94a660Fix do blocks in rhs of syntaxMelvar Chen11 years ago f25def1Merge pull request #2525 from david-christiansen/directory-1.2.3.0-blacklistDavid Christiansen11 years ago cfa1522Blacklist directory 1.2.3.0David Raymond Christiansen11 years ago 8205c13Remove tactic proofs from ListEdwin Brady11 years ago e2b1427Remove tactic proofs in NatEdwin Brady11 years ago 6e7c036Allow single constructor types in proof searchEdwin Brady11 years ago 65f4945Merge pull request #2516 from david-christiansen/issue/2512David Christiansen11 years ago 13adf74Fix indentation handling for PCAF parserDavid Raymond Christiansen11 years ago a660919Better failure on indentation stack underflowDavid Raymond Christiansen11 years ago 650d3ddMerge pull request #2514 from raichoo/masterraichoo11 years ago 9b5a218javascript: tweak event schedulingraichoo11 years ago f05199fMerge pull request #2513 from raichoo/masterraichoo11 years ago 4a1d77ejavascript: enable more testsraichoo11 years ago b26d401javascript: add LReadStr primitive to node backendraichoo11 years ago f7d9706javascript: free memory in i$valstack properlyraichoo11 years ago ac7c313javascript: schedule continuation every 1000 callsraichoo11 years ago 8c28352Some Prelude reorganisationEdwin Brady11 years ago 6f904d5Fix tests due to name changeEdwin Brady11 years ago bf6c327Allow mutually recursive recordsEdwin Brady11 years ago 57ba18dSlightly relax check for proofsearchabilityEdwin Brady11 years ago 7a5392dDisplay tweakEdwin Brady11 years ago cd0528aMerge pull request #2504 from jeremy-w/jeremy-w/testing-fixesJan de Muijnck-Hughes11 years ago 056b307Update running text to match code changeJeremy W. Sherman11 years ago 118d718Restores self-documenting test outputJeremy W. Sherman11 years ago 6411f5dAdd example of running the testsJeremy W. Sherman11 years ago b880868Fix testing example .ipkg syntaxJeremy W. Sherman11 years ago b85b98fCaption code block with relative file pathsJeremy W. Sherman11 years ago d1e9bf8Rephrase intro to testing tutorialJeremy W. Sherman11 years ago 030da05Merge pull request #2495 from BlackBrane/masterNiklas Larsson11 years ago 6784f7aMerge pull request #2376 from jfdm/logging-effectNiklas Larsson11 years ago 44dad1cFixed missing entry in Cabal file.Jan de Muijnck-Hughes11 years ago 99b8194Fix access for file and cabal files.Jan de Muijnck-Hughes11 years ago afe9481Make clear that sum' is a synonym for concatBlackBrane11 years ago b6c9ef8Small documentation updatesEdwin Brady11 years ago 44ca9c2Remove spurious Data.Fin imports (now reexported by Vect)BlackBrane11 years ago 5a08c2cProof search tweakEdwin Brady11 years ago 96e9b1aVariable names in makelemma typesEdwin Brady11 years ago a8f3171Merge pull request #2494 from uwap/masterNiklas Larsson11 years ago 61f02bfMake --mkdoc follow the sourcedir If you had an ipkg with a sourcedir defined before using the --mkdoc option would fail saying that some source files are missing. This is because it didn't follow the sourcedir.uwap11 years ago