ced7733Replace 'effects' with neweffectsEdwin Brady12 years ago b2653e4Added experimental neweffects libraryEdwin Brady12 years ago 9f77626Modified makefiles to add local IdrisDoc generation.Jan de Muijnck-Hughes12 years ago abd5f0cremove javascript lib in favor of idris-hacker/iQueryraichoo13 years ago e707475Remove oldeffects from buildEdwin Brady13 years ago 4ba5460Make 'neweffects' the official effects packageEdwin Brady13 years ago 7f722cbAdd missing files to idris.cabalEdwin Brady13 years ago 23a28d5Fix .PHONY targets in MakefilesAndy Morris13 years ago ecea329Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady13 years ago ba6f0efSeparate base into base and preludeEdwin Brady13 years ago a72a39crespect $(MAKE), instead of using hardcoded makeHannes Mehnert13 years ago 2d68066Oops, missed another thing...Edwin Brady13 years ago