The main formal structures of generalized quantum theory are summarized. Recent progress has sharpened some of the concepts, in particular the notion of an observable, the action of an observable on states (putting more emphasis on the role of proposition observables), and the concept of generalized entanglement. Furthermore, the active role of the observer in the structure of observables and the partitioning of systems is emphasized.