7929 Commits

Author SHA1 Message Date
bringert
56312ed045 Added license file 2004-06-22 08:54:14 +00:00
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