Novell files Offer of Proof Re Prior Inconsistent Declaration of Sabbath

 
Thread Tools Search this Thread
Special Forums News, Links, Events and Announcements UNIX and Linux RSS News Novell files Offer of Proof Re Prior Inconsistent Declaration of Sabbath
# 1  
Old 03-16-2010
Novell files Offer of Proof Re Prior Inconsistent Declaration of Sabbath

Novell has filed a Notice of Filing of Offer of Proof Regarding Prior Inconsistent Declaration of Steven Sabbath. It is making a record that SCO was allowed to present testimony in direct examination that Novell knew was contradicted by deposition testimony, but then Novell couldn't tell the jury about it, because of rulings by the judge.
I gather Novell has noticed what you have, that the judge's ruling was not fair to Novell.So they are making a record, listing very thoroughly why the deposition is allowable under the rules, how they would have used it to rebut SCO's witnesses, and precisely how the materials are contradictory. This may be related to the discussion we heard about yesterday, where it was discussed if Ms. Madsen would have to return. It surely will be part of any appeal, should it prove necessary. But the judge can simply change his ruling, solving the issue.

More...
Login or Register to Ask a Question

Previous Thread | Next Thread

2 More Discussions You Might Find Interesting

1. UNIX for Dummies Questions & Answers

moving files prior to 2 days

Hi All, I have a question. i have a directory say /home/pavi/logs ls -ltr gives all the files in the /home/pavi/logs directory. i am trying to move only those files existing in this folder prior to 2 days. i.e files exiting say May 9th and May 8th remain in this directory but all the... (12 Replies)
Discussion started by: pavan_test
12 Replies

2. Shell Programming and Scripting

List files created before Noon 2 days prior

Our nightly updates run in the evening and finish around 8am. My boss wants the current log files kept on the server for 2 days, but wants anything created before noon, 2 days prior archived. I was thinking of using touch to set a temporary file with a date of today-2 and a time of noon, then... (3 Replies)
Discussion started by: prismtx
3 Replies
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)