Adapting Proof General Proof General Organize your proofs Adapting Proof General 4 2to new provers October 2011 proofgeneral inf ed ac uk David Aspinall with T Kleymann This manual and the program Proof General are Copyright c 2000 2011 by members of the Proof General team LFCS Edinburgh Permission is granted to make and distribute verbatim copies of this manual provided the copy right notice and this permission notice are preserved on all copies
Adapting an Activity Making It Your Own How to use the Molecular Workbench MW authoring environment to modify an existing activity NOTE Versions of these pages are available both in the Blackboard tutorial and within MW itself in its Documentation section The advantage of reading it within MW is that you can follow links to the User s Manual Many Molecular Workbench activities can be easily altered by teachers and curriculum writers so that they better fit the needs
Adapting an Activity Making It Your Own How to use the Molecular Workbench MW authoring environment to modify an existing activity NOTE Versions of these pages are available both in the Blackboard tutorial and within MW itself in its Documentation section The advantage of reading it within MW is that you can follow links to the User s Manual Many Molecular Workbench activities can be easily altered by teachers and curriculum writers so that they better fit the needs
Adapting Proof General Proof General Organize your proofs Adapting Proof General 4 3to new provers April 2015 proofgeneral inf ed ac uk David Aspinall with T Kleymann This manual and the program Proof General are Copyright c 2000 2011 by members of the Proof General team LFCS Edinburgh Permission is granted to make and distribute verbatim copies of this manual provided the copy right notice and this permission notice are preserved on all copies Th