|
(*Doc, it hurts when I poke myself.*)
Notation "'" := 1. (* was:
Setting notation at level 0.
Toplevel input, characters 0-18:
> Notation "'" := 1.
> ^^^^^^^^^^^^^^^^^^
Anomaly: Uncaught exception Invalid_argument("index out of bounds"). Please report. *)
¤ Dauer der Verarbeitung: 0.12 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
