The username under which gitlab is running, has changed from gitlab to git. If you get the following message when pushing or pulling: Permission denied (publickey), then execute this command in your repository directory: git remote set-url origin . (replace namespace and project by the appropriate values). Use git remote -v to check the current value.

Commit 1e887b53 authored by remivantrijp's avatar remivantrijp


parent 42c0cd6a
......@@ -53,7 +53,7 @@
(parent ?parent)
(head ?head)
(syn-cat ((phrase-type ?phrase-type)
(agreement ?agreement))))
(agreement ?agreement))))
(NP (phrase)
(syn-cat ((phrase-type NP))))
(advp (phrase)
......@@ -79,9 +79,10 @@
;; Lex-classes
;; ---------------------------------------------------------------
(verb ()
(syn-cat ((agreement ?agr)
(finite ?finite)
(verb-form ?verb-form))))
(syn-cat ((lex-class verb)
(agreement ?agr)
(finite ?finite)
(verb-form ?verb-form))))
(aux (verb)
(syn-cat ((lex-class aux))))
(auxpass (aux)
......@@ -89,7 +90,8 @@
(noun ()
(referent ?ref)
(args (?output ?input))
(syn-cat ((agreement ?agr))))
(syn-cat ((agreement ?agr)
(lex-class noun))))
(common-noun (noun)
(syn-cat ((lex-class common-noun))))
(compound (noun))
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment