closed issue ProofGeneral#35

tchajed · Sep 30, 2016 · 347d6f2 · 347d6f2
1 parent ab6869d
commit 347d6f2
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/github-issues/closed/35.v b/github-issues/closed/35.v
@@ -0,0 +1,9 @@
+(* https://github.com/psteckler/ProofGeneral/issues/35 *)
+
+(* PG-xml says no more goals when there are more subgoals (with bullets) *)
+
+Goal True /\ True.
+Proof.
+  split.
+   - exact I.
+