add PmCallBack with GeneralSt type

7a6889c2 · John van Groningen · 5f751644 · 7a6889c2 · 7a6889c2
Commit 7a6889c2 authored Jan 20, 2009 by John van Groningen
Hide whitespace changes
Inline Side-by-side

Showing with 6 additions and 0 deletions

Ide/PmCallBack.dcl Ide/PmCallBack.dcl +5 -0

Ide/PmCallBack.icl Ide/PmCallBack.icl +1 -0

No files found.
--- a/Ide/PmCallBack.dcl
+++ b/Ide/PmCallBack.dcl
+definition module PmCallBack
+
+from IdeState import ::General,::PSt
+
+:: *GeneralSt :== PSt General
--- a/Ide/PmCallBack.icl
+++ b/Ide/PmCallBack.icl
+implementation module PmCallBack