C# (CSharp) Z3AxiomProfiler HelpWindow 예제들

예제 #1

파일: Z3AxiomProfiler.cs 프로젝트: Suchiman/vcc

        private void helpToolStripMenuItem1_Click(object sender, EventArgs e)
        {
            HelpWindow h = new HelpWindow();

            h.Show();
        }

예제 #2

파일: Z3AxiomProfiler.cs 프로젝트: edgar-pek/VCDryad

 private void helpToolStripMenuItem1_Click(object sender, EventArgs e)
 {
     HelpWindow h = new HelpWindow();
       h.Show();
 }