Remove unmaintained paper. Refs #27.

The documentation in WC-End2End is incomplete. It was an unfinished attempt at rewriting the report located in: copilot-discussion/GAJaloyan/sample_report/ It can be safely removed.
Copilot-Language · Mar 29, 2021 · 030d444 · 030d444
1 parent 73868dd
commit 030d444
Show file tree

Hide file tree

Showing 13 changed files with 0 additions and 2,828 deletions.
diff --git a/WC-End2End/CompCert.tex b/WC-End2End/CompCert.tex
diff --git a/WC-End2End/conclusion.tex b/WC-End2End/conclusion.tex
diff --git a/WC-End2End/copilot.tex b/WC-End2End/copilot.tex
diff --git a/WC-End2End/flightTest.tex b/WC-End2End/flightTest.tex
diff --git a/WC-End2End/intro.tex b/WC-End2End/intro.tex