SCO's Proposed Findings of Fact and Conclusions of Law

 
Thread Tools Search this Thread
Special Forums News, Links, Events and Announcements UNIX and Linux RSS News SCO's Proposed Findings of Fact and Conclusions of Law
# 1  
Old 04-20-2010
SCO's Proposed Findings of Fact and Conclusions of Law

Here it is, SCO's competing version of Proposed Findings of Fact and Conclusions of Law:
04/19/2010 - 853 - Proposed Findings of Fact by SCO Group. (Hatch, Brent) (Entered: 04/19/2010)

SCO insists still, despite the jury's verdict, that the intention of the parties to the APA in 1995 was to transfer the copyrights, and they'd like them now, please. They also ask for a ruling that Novell can't assert waivers regarding SCO's claims against IBM. However, SCO says in the first footnote that it will be filing a "renewed motion for judgment as a matter of law regarding copyright ownership under Fed. R. Civ. P. 50(b), and, in the alternative, for a new trial under Fed. R. Civ. P. 59. If this Court grants the Rule 50 motion, SCO's claim for specific performance is moot, and if this Court grants a new trial under Rule 59, the Court may defer ruling on the claim for specific performance."
So, there you are, ladies and gentlemen. The SCO Group.
When Judge Dale Kimball ruled against them, they went to the media and the appeals court, and claimed it was unfair. They got their day in court. And now that the jury SCO asked for has agreed with Judge Kimball that SCO didn't get the copyrights under the APA, SCO wants this new judge, the Hon. Ted Stewart, to hand them the victory anyway, since to SCO it's obvious the jury got it wrong as a matter of law.

More...
Login or Register to Ask a Question

Previous Thread | Next Thread
Login or Register to Ask a Question
COQ(1)							      General Commands Manual							    COQ(1)

NAME
gallina - extracts specification from Coq vernacular files SYNOPSIS
gallina [ - ] [ -stdout ] [ -nocomments ] file ... DESCRIPTION
gallina takes Coq files as arguments and builds the corresponding specification files. The Coq file foo.v gives bearth to the specifica- tion file foo.g. The suffix '.g' stands for Gallina. For that purpose, gallina removes all commands that follow a "Theorem", "Lemma", "Fact", "Remark" or "Goal" statement until it reaches a command "Abort.", "Save.", "Qed.", "Defined." or "Proof <...>.". It also removes every "Hint", "Syntax", "Immediate" or "Transparent" com- mand. Files without the .v suffix are ignored. OPTIONS
-stdout Prints the result on standard output. - Coq source is taken on standard input. The result is printed on standard output. -nocomments Comments are removed in the *.g file. NOTES
Nested comments are correctly handled. In particular, every command "Save." or "Abort." in a comment is not taken into account. BUGS
Please report any bug to coq@pauillac.inria.fr Coq tools 29 March 1995 COQ(1)