 Andrés Sicard-Ramírez
|
a309a8ac28
[ closed #4955 ] Tested with GHC 9.0.1.
|
hace 3 años |
|
Andrés Sicard-Ramírez
|
49c53ecc0b
[ #4242 ] Added .ghci-8.10 file.
|
hace 4 años |
|
Andrés Sicard-Ramírez
|
d96b39573c
[ #3725 ] Added .ghci880 file.
|
hace 5 años |
 Robert Estelle
|
8c4a59beb6
[ghci] Load .ghci.local for developer customization
|
hace 5 años |
|
Robert Estelle
|
450b33b79d
[ghci] Auto-load version-specific .ghci files
|
hace 5 años |
|
Robert Estelle
|
136ff6382b
[ghci] Do not set Cabal/Stack include+build paths
|
hace 5 años |
|
Robert Estelle
|
5f53aa25c4
[cabal/ghci] Sort warning flags and extensions
|
hace 5 años |
|
Robert Estelle
|
7d30c0a27f
[cabal/ghci] Consistently use -W… instead of -fwarn-…
|
hace 5 años |
|
Robert Estelle
|
70735464ca
[ghci] Turn off -Werror in ghci (unsupported flag)
|
hace 5 años |
|
Robert Estelle
|
e11034aee3
[ghci] Set same default flags/exts as in Agda.cabal
|
hace 5 años |
|
Robert Estelle
|
3680feecec
[ghci] Remove old -isrc/full flags
|
hace 5 años |
|
Andrés Sicard-Ramírez
|
2c29cf4932
[ #3391 ] Bumped version to 2.6.1.
|
hace 5 años |
|
Andrés Sicard-Ramírez
|
c27af0d578
[ closed #3223 ] Using `cpp` instead of `cpphs` as the default preprocessor.
|
hace 6 años |
|
Andrés Sicard-Ramírez
|
c5b105e674
Revert "[ closed #3223 ] Removed use of cpphs."
|
hace 6 años |
|
Andrés Sicard-Ramírez
|
40918a6c65
[ closed #3223 ] Removed use of cpphs.
|
hace 6 años |
|
Andrés Sicard-Ramírez
|
95534f9297
Merge agda-stable
|
hace 7 años |
|
Andrés Sicard-Ramírez
|
53c19b8ccd
Used the same set of default language extensions.
|
hace 7 años |
|
Andrés Sicard-Ramírez
|
011e0a9739
Merge agda-stable
|
hace 7 años |
|
Andrés Sicard-Ramírez
|
570c9c180f
Fixed alphabetical order of the default language extensions.
|
hace 7 años |
|
Andrés Sicard-Ramírez
|
4b36e4318b
[ fixed #2394 ] Manually reverted changes in stable-2.5.
|
hace 8 años |
 Nils Anders Danielsson
|
48ac745719
Merge branch 'stable-2.5'
|
hace 8 años |
|
Nils Anders Danielsson
|
9769971870
Modified warning flags in .ghci. Added extensions.
|
hace 8 años |
|
Andrés Sicard-Ramírez
|
dea658f5d4
[ #1941 ] Bumped the version of the stable branch to 2.5.2.
|
hace 8 años |
|
Andrés Sicard-Ramírez
|
3ca28ee9ab
[ 2.5.1 release, #1933 ] Bumped version to 2.6.0 (master).
|
hace 8 años |
|
Andrés Sicard-Ramírez
|
c9ab34b7ed
[ 2.5.1 release, #1933 ] Bumped version to 2.5.1.1 (stable).
|
hace 8 años |
|
Andrés Sicard-Ramírez
|
33ec7b6475
[ 2.5.1 release, #1933 ] Bumped version to 2.5.1.
|
hace 8 años |
|
Andrés Sicard-Ramírez
|
14b2ea4d1d
Revert "[ 2.5.1 RC 2, #1845 ] Bumped version to 2.5.0.20160412."
|
hace 8 años |
|
Andrés Sicard-Ramírez
|
dbc5226e74
[ 2.5.1 RC 2, #1845 ] Bumped version to 2.5.0.20160412.
|
hace 8 años |
|
Andrés Sicard-Ramírez
|
b4809f16a7
Revert "[ 2.5.1 RC 1, #1831 ] Bumped version to 2.5.0.20160213."
|
hace 8 años |
|
Andrés Sicard-Ramírez
|
832119c0ad
[ 2.5.1 RC 1, #1831 ] Bumped version to 2.5.0.20160213.
|
hace 8 años |
