1
0
forked from GitHub/gf-core
Commit Graph

628 Commits

Author SHA1 Message Date
aarne fdfd77a7d5 some new Swedish paradigms 2004-06-21 15:14:37 +00:00
aarne b248e6e25e for release meeting 2004-06-21 08:53:58 +00:00
aarne a134a1fd65 pdf 2004-06-21 08:35:01 +00:00
peb 1efb265000 *** empty log message *** 2004-06-18 14:23:15 +00:00
aarne 22613ceb37 small things 2004-06-18 13:14:50 +00:00
aarne 29b9dcaf82 preced 2004-06-18 08:52:38 +00:00
aarne 94f8d310cb path in file name test in ReadFiles 2004-06-17 14:10:06 +00:00
aarne a77519ba10 bug fixes ; command so ; reintroduce batch mode 2004-06-16 14:49:50 +00:00
peb 9fae09a77c *** empty log message *** 2004-06-15 18:34:54 +00:00
peb aa9f1ee7a3 *** empty log message *** 2004-06-15 18:24:17 +00:00
aarne 3fb91e0f44 improved make facility: remember state if fails; does not need source 2004-06-15 13:55:54 +00:00
peb 652618742a *** empty log message *** 2004-06-10 14:37:43 +00:00
aarne 3522b2a3cd readfiles 2004-06-10 14:34:07 +00:00
aarne f07087647e KeY 2004-06-09 18:43:06 +00:00
janna 63232b6982 *** empty log message *** 2004-06-06 19:57:56 +00:00
peb c10aa3b696 *** empty log message *** 2004-06-06 10:11:10 +00:00
aarne e78e5a6af7 SymbPN and SymbCN in resources 2004-06-03 19:31:39 +00:00
peb 7716f81886 *** empty log message *** 2004-06-02 11:17:15 +00:00
peb 9b0a968597 *** empty log message *** 2004-06-02 11:05:39 +00:00
aarne b103e87bc4 external translator 2004-05-28 12:18:28 +00:00
aarne 6dcf9f1cd4 command option check 2004-05-27 14:43:13 +00:00
aarne 244307ca37 MyParser: hook for external parser 2004-05-27 08:28:43 +00:00
peb a4c388374f *** empty log message *** 2004-05-26 19:40:11 +00:00
peb e3e0da73ac *** empty log message *** 2004-05-26 18:44:40 +00:00
aarne 2945d9bcb8 strict BinTree 2004-05-26 08:33:27 +00:00
aarne ba74c109cd fix eng parad 2004-05-21 15:12:51 +00:00
aarne 8963681a3b peel head i ; gt nometas ; gf2hs 2004-05-18 20:57:13 +00:00
janna 086733a6fe *** empty log message *** 2004-05-03 21:02:18 +00:00
aarne f644f13527 Generation with metavariables. 2004-05-03 12:39:32 +00:00
aarne de3ad4cbd7 generation in jgf 2004-05-02 12:36:19 +00:00
aarne 54947d3e4c gt Term 2004-05-02 08:21:25 +00:00
aarne 487571a685 Improved gt; Karin C's examples. 2004-04-30 19:52:34 +00:00
aarne fc99b225a7 generation command gt n 2004-04-30 15:18:38 +00:00
aarne c9d10ab5ed random gen to fill given term 2004-04-30 11:28:35 +00:00
peb 36a68bce6a *** empty log message *** 2004-04-30 08:26:01 +00:00
peb 181e128230 *** empty log message *** 2004-04-30 07:17:03 +00:00
aarne cbbb6d65c7 gr F ? ? 2004-04-30 05:02:49 +00:00
peb 9e23c25e28 *** empty log message *** 2004-04-29 08:22:32 +00:00
peb 51da7e3c0f 29/4-04, peb: added directory 'testConversions' with a simple grammar
for testing grammar conversions
2004-04-29 08:11:20 +00:00
aarne b5bb4fc2b5 multimodality exx 2004-04-29 04:03:19 +00:00
peb 6993118eab peb (28/4-04):
- added directory 'conversions' for grammar conversions
- added some grammar printers in 'Custom.hs'
- added option 'ghci' in 'Makefile'
2004-04-28 09:37:10 +00:00
aarne 1bd3dc8433 timetable 2004-04-28 09:08:31 +00:00
aarne e5c60c9cfd optimization in make 2004-04-27 19:37:01 +00:00
aarne 233d6910e4 ditt o datt 2004-04-23 13:45:07 +00:00
aarne 2e0c510285 some more printing 2004-04-19 15:33:45 +00:00
aarne fa07ada6ab added srg; extended shallow 2004-04-16 15:21:56 +00:00
aarne 26b03cef10 error msg for term input 2004-04-13 11:55:52 +00:00
aarne b79b2b8b41 Windows. 2004-04-05 14:47:31 +00:00
aarne a9b2f69c3a Beta. 2004-04-02 12:35:23 +00:00
aarne 73c4fe8dda Beta release. 2004-04-02 12:23:48 +00:00