3ccb494Remove the empty property 'copyright'.Jan de Muijnck-Hughes9 years ago d4ce631Add :! for running shell commands from the REPLRyan Scott10 years ago 0896073Added documentation for modules.Jan de Muijnck-Hughes10 years ago 1019ce5Source file stylings & Haddock.Jan de Muijnck-Hughes10 years ago a3407cbDisplay 'Hole' instead of 'Metavariable'Edwin Brady11 years ago 99be9f0Various cleanup of the REPL, mainly with parsing and completionBen Sherman12 years ago 3c475f4Improve REPL completion and DRY in parsing/completionBen Sherman12 years ago 02a36adAllow :search and :apropos to search packagesEdwin Brady12 years ago 26da5c7Save index file when installing a packageEdwin Brady12 years ago b12b10fadded ":refine", ":ref", "refine!" and "ref!" to the autocompletions in the REPLJakob Brünker12 years ago 03a0494Improved documentation.Jan de Muijnck-Hughes12 years ago 1542d35Added documentation for the pprint command in the Idris REPL.Jan de Muijnck-Hughes12 years ago 893b980Add :printdef command to show the definition of a pattern-matching operationDavid Raymond Christiansen12 years ago 3762fadAdded :let and :undefine to the repl helpAlyssa Carter12 years ago fdb79e6Added warranty information to the Idris Repl.Jan de Muijnck-Hughes12 years ago 3eede2eForgot a comma in adding a help entry for :searchbmsherman12 years ago 95cd4c5Add Help/autocomplete information for :searchbmsherman12 years ago 6a99256Remove the REPL Info commandPaul Koerbitz13 years ago 3c8f57c:compile now can take a codegen option (e.g. :compile javascript program.js)raichoo13 years ago cfbb64fMerge branch 'idrisdoc' of github.com:PhilipRasmussen/Idris-dev into PhilipRasmussen-idrisdocDavid Raymond Christiansen13 years ago a4295e3Merge pull request #1070 from david-christiansen/whocallsEdwin Brady13 years ago 7bc8bfdAdd REPL commands for who calls whoDavid Raymond Christiansen13 years ago 5159ad4Remove ":m" as a shortcut for ":module" in help as it is used for ":metavars". Remove argument for ":metavars" as it doesn't take any.Ahmad Salim Al-Sibahi13 years ago 77eca9cChanged IdrisDoc interface, updated command descriptions.Philip Rasmussen13 years ago 155e306Fixed IdrisDoc errors and added REPL :help descriptionsPhilip Rasmussen13 years ago 1921424Add :apropos command to REPLDavid Raymond Christiansen13 years ago 4257d64Automatically detect console widthDavid Raymond Christiansen13 years ago 5075b24Support for the new interactive commands via the IdeSlave REPL Also, add ":addmissing" and ":addmissing!" to completions of the REPLHannes Mehnert13 years ago 6306d68:help and tab completion for :docDavid Christiansen13 years ago 91317fbAdd new editor commands to tab completionDavid Christiansen13 years ago 1085d22Tab completion for setting colours at the REPLDavid Christiansen13 years ago fe20bf1Allow colour options from REPLDavid Christiansen13 years ago 75e0141add command to change current directoryHannes Mehnert14 years ago a029bd8reduce duplication by providing a show instance for CmdArgHannes Mehnert14 years ago 70c9bd5Completion and help for :dynamic at the REPLDavid Christiansen14 years ago 82190d3Basics of command to execute IO actions in the interpreterDavid Christiansen14 years ago 2297270unify help and completion of REPL - previously they were not in sync, now it is one lookup tableHannes Mehnert14 years ago