 odanoburu
|
64ccc424cf
|
(#5) rm files from nix build
|
2018-08-11 22:44:45 -03:00 |
|
|
odanoburu
|
dce81dc0ec
|
(#5) reintroduce make install
|
2018-08-11 22:16:28 -03:00 |
|
|
odanoburu
|
29acef41fc
|
(#5) specify image version
|
2018-08-11 22:11:27 -03:00 |
|
|
odanoburu
|
4038546321
|
(#5) no need for make install
|
2018-08-11 22:07:53 -03:00 |
|
|
odanoburu
|
df31ab241b
|
(#5) add travis CI with docker
dependencies are preinstalled in docker image for faster build, but this means we need to update it whenever dependencies change
|
2018-08-11 22:02:08 -03:00 |
|
|
odanoburu
|
f067267953
|
Merge remote-tracking branch 'upstream/master' into por
|
2018-06-20 12:33:05 -03:00 |
|
|
odanoburu
|
8b05ed9469
|
Merge remote-tracking branch 'upstream/master' into por
|
2018-06-06 09:51:42 -03:00 |
|
|
odanoburu
|
9a17ca21b5
|
* update GF mode
- moved to new repo at
https://github.com/GrammaticalFramework/gf-emacs-mode
- main changes:
- use utf-8 encoding for inferior gf process
- add display of operation types
- update links
|
2018-06-04 09:16:02 -03:00 |
|
|
odanoburu
|
92d476f43b
|
Merge remote-tracking branch 'upstream/master' into por
|
2018-05-28 16:22:54 -03:00 |
|
|
odanoburu
|
2ae44902e1
|
(refman) update pre syntax [ci skip]
|
2018-05-24 13:50:23 +00:00 |
|
|
odanoburu
|
d205679dce
|
(Por) merge PRs #45 and #48 and solve conflicts
|
2018-05-23 19:07:32 -03:00 |
|
|
odanoburu
|
b3c6bfa8d2
|
Merge branch 'por-extra' into por-merge
|
2018-05-23 19:03:58 -03:00 |
|
|
odanoburu
|
c8b1cb715e
|
Merge remote-tracking branch 'upstream/master' into por
|
2018-05-23 11:22:46 -03:00 |
|
|
odanoburu
|
87ddb34a3d
|
- fix typo
- rm link to Wiki that seems dead
|
2018-04-21 20:09:48 -03:00 |
|
|
odanoburu
|
9064c3d7cd
|
rm references of lexer and unlexer flags from reference manual
|
2018-04-21 20:09:40 -03:00 |
|
|
odanoburu
|
2127e74228
|
merge and rm conflict
|
2018-04-14 19:22:50 -03:00 |
|
|
odanoburu
|
7d89d0b442
|
Merge remote-tracking branch 'upstream/master' into por
|
2018-04-14 19:22:01 -03:00 |
|
|
odanoburu
|
2c163bb243
|
- rm duplicate lines
|
2018-04-09 12:14:32 -03:00 |
|
|
odanoburu
|
d7154a52f9
|
- rm trailing spaces
|
2018-04-09 12:14:02 -03:00 |
|
|
odanoburu
|
69a1944293
|
Merge remote-tracking branch 'origin/por' into por
|
2018-04-09 12:10:33 -03:00 |
|
|
odanoburu
|
92b15a337e
|
rm duplicate lines
|
2018-04-09 12:09:45 -03:00 |
|
|
odanoburu
|
b4c64cb81b
|
- add Por to complete languages (although it's not quite there yet)
- update headers
- add Por modules to lib/src/api/
|
2018-03-29 20:17:39 -03:00 |
|
|
odanoburu
|
a59c0ffeee
|
Merge remote-tracking branch 'upstream/master' into por
|
2018-03-29 11:49:19 -03:00 |
|