140 Commits

Author	SHA1	Message	Date
bringert	1704f94a49	delete tarbalss in distclean	2004-06-22 12:02:14 +00:00
bringert	339aa8caeb	Added autoconf step.	2004-06-22 12:01:06 +00:00
bringert	cff04c2887	Do autoconf in src dir when making dist	2004-06-22 11:58:45 +00:00
bringert	142a4a3235	Build jar file for java classes. Added dist target.	2004-06-22 11:56:24 +00:00
bringert	9b0d136d71	Moved distclean target to after clean	2004-06-22 09:44:46 +00:00
bringert	f5959152b7	Cleaned up Makefile, build for unix be default, create nofud-links in the right places.	2004-06-22 09:33:43 +00:00
bringert	0636808ff4	Added configure step to install instructions	2004-06-22 09:32:02 +00:00
bringert	5f4898739c	Added RPM spec	2004-06-22 08:56:34 +00:00
bringert	39e1cb259c	Added configure script, added install target, changed MkToday to a shell script to avoid a build-time dependency on runhugs	2004-06-22 08:56:20 +00:00
aarne	667523c977	for release meeting	2004-06-21 08:53:58 +00:00
peb	55d359a720	*** empty log message ***	2004-06-18 14:23:15 +00:00
aarne	e0d4eff9cb	small things	2004-06-18 13:14:50 +00:00
aarne	f63d731e33	path in file name test in ReadFiles	2004-06-17 14:10:06 +00:00
aarne	a22d6fdb01	bug fixes ; command so ; reintroduce batch mode	2004-06-16 14:49:50 +00:00
peb	b4ed911249	*** empty log message ***	2004-06-15 18:34:54 +00:00
aarne	83ff9cc2bb	improved make facility: remember state if fails; does not need source	2004-06-15 13:55:54 +00:00
peb	7cc1ecbbcf	*** empty log message ***	2004-06-10 14:37:43 +00:00
aarne	48560dd867	readfiles	2004-06-10 14:34:07 +00:00
aarne	c976663beb	KeY	2004-06-09 18:43:06 +00:00
janna	db13adbded	*** empty log message ***	2004-06-06 19:57:56 +00:00
peb	708459e93b	*** empty log message ***	2004-06-06 10:11:10 +00:00
aarne	10976cb7f5	SymbPN and SymbCN in resources	2004-06-03 19:31:39 +00:00
peb	ea15514395	*** empty log message ***	2004-06-02 11:17:15 +00:00
peb	78f88812b8	*** empty log message ***	2004-06-02 11:05:39 +00:00
aarne	2252119bbd	external translator	2004-05-28 12:18:28 +00:00
aarne	866418ea5e	command option check	2004-05-27 14:43:13 +00:00
aarne	0f8955da68	MyParser: hook for external parser	2004-05-27 08:28:43 +00:00
peb	c672653231	*** empty log message ***	2004-05-26 19:40:11 +00:00
peb	ddd70c8b35	*** empty log message ***	2004-05-26 18:44:40 +00:00
aarne	0f30a5a540	strict BinTree	2004-05-26 08:33:27 +00:00
aarne	54376eacf8	fix eng parad	2004-05-21 15:12:51 +00:00
aarne	0232a283a9	peel head i ; gt nometas ; gf2hs	2004-05-18 20:57:13 +00:00
janna	3458574f95	*** empty log message ***	2004-05-03 21:02:18 +00:00
aarne	86964ca5d5	Generation with metavariables.	2004-05-03 12:39:32 +00:00
aarne	b1b9e00ce9	generation in jgf	2004-05-02 12:36:19 +00:00
aarne	8d4983cdb2	gt Term	2004-05-02 08:21:25 +00:00
aarne	126753651a	Improved gt; Karin C's examples.	2004-04-30 19:52:34 +00:00
aarne	b67b5e1d5f	generation command gt n	2004-04-30 15:18:38 +00:00
aarne	926ac1b1e5	random gen to fill given term	2004-04-30 11:28:35 +00:00
peb	93b9023303	*** empty log message ***	2004-04-30 08:26:01 +00:00
peb	92b13296c6	*** empty log message ***	2004-04-30 07:17:03 +00:00
aarne	2c3c97d7f5	gr F ? ?	2004-04-30 05:02:49 +00:00
peb	97d6b623f8	*** empty log message ***	2004-04-29 08:22:32 +00:00
peb	69aece7b30	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	1157649c85	optimization in make	2004-04-27 19:37:01 +00:00
aarne	45fa5271d9	ditt o datt	2004-04-23 13:45:07 +00:00
aarne	bd9ba5ce39	some more printing	2004-04-19 15:33:45 +00:00
aarne	9b47f67467	added srg; extended shallow	2004-04-16 15:21:56 +00:00
aarne	7c6b0cbff6	error msg for term input	2004-04-13 11:55:52 +00:00
aarne	91546c91ff	Windows.	2004-04-05 14:47:31 +00:00