Wed Feb 19 11:17:49 1992  Andreas Schwab  (schwab at mouton)

	* sowam/debug.c (install_debug_handler): neue Funktion. Schaltet
	bei Ctrl-C in den Debug-modus. Wird nur installiert, wenn stdout
	an einem Terminal haengt.

Mon Feb 17 12:21:32 1992  Andreas Schwab  (schwab at mouton)

	* sowam/plread.c (prolog_lex): isspace statt " \t\f\v"...

Wed Feb 12 11:41:19 1992  Andreas Schwab  (schwab at mouton)

	* sowam/interp.c (l-trust-me-else-fail): Trail wird auch
	zurueckgesetzt (auf Anregung von Rudolf).

Tue Feb 11 17:38:55 1992  Andreas Schwab  (schwab at mouton)

	* compiler/skel_part.pl: Codierung etwas aufgeraeumt.

Fri Feb  7 18:10:49 1992  Andreas Schwab  (schwab at mouton)

	* sowam/unify.c: unify/match rufen fail() ueber trail_undef auf,
	wenn eine Variable nicht gebunden werden kann, dadurch 2x fail
	moeglich.

	* sowam/interp.c, builtins.c: Alle Aufrufe if (!unify(X,Y)) fail(); 
	sind durch unify(X,Y) ersetzt worden (ebenso match), analog dazu
	auch reject_terms.

Thu Feb  6 18:19:51 1992  Andreas Schwab  (schwab at mouton)

	* sowam/builtins.c (P_CALLUNIX): Test ob system() erfolreich war.

Tue Feb  4 16:38:06 1992  Andreas Schwab  (schwab at mouton)

	* sowam/builtins.c (P_STRCHARS): Letzte Aenderung wieder
	zurueckgenommen, damit string_chars("abc", ["ab","c"])
	funktioniert.  Argumente von eingebauten Praedikaten sollten
	entweder ungebundene Variablen oder Grundterme sein.

Fri Jan 31 16:03:00 1992  Andreas Schwab  (schwab at mouton)

	* sowam/interp.c: Test auf DEBUG_OPCODE in den switch verlegt.

Tue Jan 28 15:58:28 1992  Andreas Schwab  (schwab at mouton)

	* sowam: Version 0.5.9

	* sowam/interp.c (rebuild-occ-stack): POP_OCC() ersetzt durch
	POP_OCC()-DEREF_AO() Schleife (wie bei pop-occ)

Fri Jan 24 11:00:10 1992  Andreas Schwab  (schwab at mouton)

	* sowam/builtins.c (P_STRCHARS): Test auf String im ersten
	Argument vorgezogen, damit string_chars("abc", ["a"|_])
	funktioniert.

	* sowam/unify.c (match): Test auf identische Variablen eingefuegt.

Thu Jan  2 13:56:51 1992  Andreas Schwab  (schwab at mouton)

	* bytecode/byte_def.pl: put_list_y fehlte
	* sowam/interp.c: ebenso

Mon Dec 30 13:38:52 1991  Andreas Schwab  (schwab at mouton)

	* sowam/builtin.c (built_in): EOF-Flag bei READS loeschen

Fri Dec 20 14:16:18 1991  Andreas Schwab  (schwab at mouton)

	* sowam/alf-string.c (read_line): fail() bei EOF

	* sowam/sowam.c: label nur bei #ifdef PILS
	xperror(void) -> error(char*)

	* sowam/getopt*: Neueste Version
	sowam/sowam.c (usage): angepasst

Wed Oct 30 16:52:12 1991  Andreas Schwab  (schwab at julien)

	* sowam/output.c (write_alf_...): weniger Leerzeichen in der
	Ausgabe durch Verwaltung von Zeichenklassen (char_class)

Thu Oct 17 18:17:09 1991  Andreas Schwab  (schwab at julien)

	* compiler/ff.pl: Variablen an 'variableNNN' binden.
	compiler/comp_part.pl (c2_ergaenze_variable): Variablen sind schon
	gebunden (s.o.).

Wed Oct 16 15:04:19 1991  Andreas Schwab  (schwab at julien)

	* sowam/plread.c (print_error): Kontextausgabe korrigiert.
	(parse_term): add_ctxcount fuer bessere Kontextausgabe bei ',' und
	'|'.

Thu Oct 10 15:44:00 1991  Andreas Schwab  (schwab at julien)

	* compiler/comp_part.pl: Max-X-Berechnung entfernt.

Fri Oct  4 14:30:42 1991  Andreas Schwab  (schwab at julien)

	* sowam/plread.c (reduce_stack_to_term): OP_ATOM wird nur vergeben
	wenn kein Operator mehr moeglich ist.

Wed Oct  2 14:56:04 1991  Andreas Schwab  (schwab at julien)

	* sowam/debug.c: Debugmodus erweitert.

Tue Oct  1 14:08:59 1991  Andreas Schwab  (schwab at julien)

	* sowam/interp.c ((unify|write)-value): Konstanten duerfen nicht
	vollstaendig dereferenziert werden, eine T_STRUCT-Referenz muss
	uebrigbleiben.
	sowam/macros.h (DEREF1_TERM()): Neues Macro, siehe oben.

Mon Sep 30 16:05:36 1991  Andreas Schwab  (schwab at julien)

	* sowam/interp.c ((unify|write)-value): Argument wird
	dereferenziert.
	(...unsafe...,...local...): ISREF -> TAG() == T_UNDEF

Fri Sep 27 13:33:49 1991  Andreas Schwab  (schwab at julien)

	* sowam/interp.c: (get-variable-?) Der Term muss dereferenzier
	werden.

Thu Sep 26 17:07:24 1991  Andreas Schwab  (schwab at julien)

	* sowam/interp.c: (put-unsafe-value-occ) TRAIL_AO() fehlt
	(put-unsafe-...) Atome haben keine Refenz -> ISREF()

Fri Sep 20 11:53:00 1991  Andreas Schwab  (schwab at julien)

	* sowam/output.c: illegal_alf_term bricht das Programm nicht ab,
	Ausgaberoutinen dahingehend korrigiert

Mon Sep  2 15:01:10 1991  Andreas Schwab  (schwab at julien)

	* sowam/plread.c (get_token_to_stack): Test fuer
	next_is_never_functor nach Atomen korrigiert.

Tue Aug  6 14:54:13 1991  Andreas Schwab  (schwab at julien)

	* q_missing.pl, load_alf.pl verschoben nach qprolog; sowam.pl,
	hilfe.pl, hilfen.pl, aufrufe.pl verschoben nach allgemein.

	* q_missing.pl: neue Datei, enthaelt Praedikate, die in SB-Prolog,
	aber nicht in QProlog vorhanden sind.

	* compiler/skel_part.pl: \+ durch not ersetzt (fuer SB-Prolog).

Fri Aug  2 13:43:40 1991  Andreas Schwab  (schwab at julien)

	* bytecode/bc_out.pl (b_{long,word}_to_byte): arithmetische
	Operationen durch Bitoperationen ersetzt

Thu Aug  1 14:45:54 1991  Andreas Schwab  (schwab at julien)

	* sowam/bytecode.c (init_symbols): Robustere Anpassung der
	Codeadressen der Funktionen/Praedikate

	* bytecode/make_AF.pl (b_make_entry): Kennzeichen fuer nicht
	benutzte Adresse von 0 nach -1 geaendert

Wed Jul 31 14:20:42 1991  Andreas Schwab  (schwab at julien)

	* bytecode/ bc_out.pl, relocation.pl: Neuer Relocation-Typ 'table'
	fuer Switch-Tabellen, zum Sortieren derselben

	* bytecode/ make_AF.pl, bc_out.pl: ein Eintrag in der AF_area
	enthaelt nicht mehr adr/1, word/1, long/1, sondern nur noch deren
	Argumente

	* compiler/comp_part.pl (c2_veraendere_write_and_ask_argumente):
	Funktionen koennen auch innerhalb von Konstruktoren auftreten

	* compiler/atos_part.pl: Namen werden immer geklammert und mit
	writeq ausgegeben

Mon Jul 29 16:36:00 1991  Andreas Schwab  (schwab at julien)

	* bytecode/relocation.pl, sowam/bytecode.c: Relozierung fuer
	Codeadressen

	* compiler/comp_part.pl: Version 2.9 installiert

Wed Jul 17 14:03:40 1991  Andreas Schwab  (schwab at julien)

	* bytecode/ sowam_to_bc, bc_out: Ausgabe geaendert nach tell/told,
	kein Stream-Argument mehr (wegen Kompatibilitaet zu SBProlog)

	* aufrufe.pl, hilfen.pl: Alle Aufrufe des Praeprozessors geloscht

	* prepro/*: existiert nicht mehr, der neue Praeprozessor ist um
	Klassen besser.

	* bytecode/*: Neue Version des Bytecodes, erweitert um
	Symbol-Relozierung, siehe bytecode-format



Local Variables:
mode: indented-text-mode
left-margin: 8
End:
