Frequently Asked Questions
This is a collection of frequently asked questions and their answers about our courseware packages.
- How do I get your software?
- OK, so how do I get your courseware packages?
- Now that I have your software, how do I register it?
- What version is my program?
- I think that I have found a bug in the software. How can I report it?
- What platforms will your software run on?
Installing the software
- Can I install the your software on my laptop?
- Can I run your software directly from the CD/floppy disk?
- I am an instructor. Can I install your software on the computers in our lab?
- The disk that came with my package seems to be blank. What should I do?
- On a mac, the upgrade or download isn't installing. What should I do?
- My computer doesn't have a CD drive. What should I do?
Submit and the Grade Grinder
Submit and the Grade Grinder for Students
- What is the Registration ID?
- Where can I find my Registration ID?
- I bought a used copy of the package. Why doesn't my Registration ID work?
- I bought a new copy of the package. Why doesn't my Registration ID work?
- Submit is not able to connect to the Grade Grinder. Ever. Is your server down?
- Submit says that it cannot deliver mail to my email address. What should I do?
- Submit accepts my submission, but I don't get a grade report. What should I do?
- Will my professor know if I make mistakes when I submit grade reports to myself?
Submit and the Grade Grinder for Instructors
- I'm a new instructor, and I want to use the Grade Grinder for my next class. Do I need to contact someone or prepare ahead of time?
- I have several teaching assistants. How can I register all our email addresses so that students can submit their work to all of us?
- How can I tell if a student sends me a forged grade report?
- I received a grade report indicating a timestamp collision. How can I find out the identity of the other student?
- I accidently deleted my grade reports. Is there any way to recover them?
- Is your software compatible with Mac OS X 10.7 (Lion) and 10.8 (Mountain Lion)?
- When I use "Save as" the program crashes
- When I submit, gradegrinder sends back a message saying "This file was ungradable either because it is not a X file, or is damaged"?
- Is your software compatible with Windows Vista?
- On Windows Vista, the world pane in Tarski's World 6 covers up the tool buttons or has other display problems.
- How do I send you DirectX information (dxdiag) about my Windows system?
- How do I send you my Windows "System Information"?
- What is the "Windows Key"?
- How do I open "Windows Help"?
- What is the Windows "Run Command" or "Run Dialog"?
- How do I create a "Windows shortcut"?
- How do I "print screen"?
- One or more of the programs does not work under Windows, How do I get it to work?
- Why does the Tarski splash screen hang when starting?
- How can I install the software using the rpm or deb Linux package management system?
- Boole is part of the Language, Proof and Logic package.
- Fitch is part of the Language, Proof and Logic package.
- Submit is part of the Language, Proof and Logic and Tarski's World (Revised and Expanded Edition) packages.
- Tarski's World is part of the Language, Proof and Logic and Tarski's World (Revised and Expanded Edition) packages.
You will be unable to log on to the web site until you have registered your software in this way. There is no way to register at the web site.
When a program is started, its "about window" (sometimes called a "splash screen") is displayed briefly.
The version information is located in the top right hand corner (bottom right corner for old versions).
In Windows or Linux, while a program is running, going to the Help menu and selecting the About... item, should open an "about window".
On a Macintosh, while a program is running, going to the application menu and selecting the About... item, should open an "about window".
- Windows XP/Vista/7
- MacOS X 10.3-10.8
- 32-bit Fedora Core and Ubuntu Linuxes
We do not provide support for platforms provided by virtualization software (for example VirtualBox, BootCamp, Parallels, VMWare, Virtual PC).
There are some known compatibility issues with Windows.
We support only LTS releases of Ubuntu.Older versions of our software have, and current software may still, run on:
- Windows NT/98/ME/2000
- MacOS 8.5-8.6, MacOS 9.x, 10.1 and 10.2 and the Classic environment on MacOSX
Installing the Software
You can now register on the website and then login and download the software.
No access to the website, if you can't get your machine to read your disk, then will it read a disk belonging to one of your classmates? If so, install the software from that disk, but be sure to use the registration id on your disk when you use Submit.
Nothing works? Send us a message and we will try to help. Include your registration id.
- Download the LPL-12_8.dmg.gz file (the name may change depending on revision). This may be done automatically.
- Open this file to get a LPL-11_9.dmg file (again the name may change)
- Double click on the dmg file to mount it as a disk.
- You may need to modify your Finder Preferences to show External Disks in your Finder
- Go to the mounted disk (probably named Language, Proof and Logic (something release) but might be Disk Image) and double click on the LPL Installer.mpkg file to install.
- Use the CD in a machine that does have a drive and run the submit program directly from the CD to make a submission (you can use the test submission file in the beginning of the textbook).
- Use a classmate's copy of Submit to make a submission using the registration id from your disk.
- No classmates? Send us a message and we will try to help. Include your registration id, email you will be using to submit, and full name.
Submit and the Grade Grinder
Submit and the Grade Grinder for Students
If you are sure that this is not the problem then you may have bought a defective copy of the package. We apologize; this happens occasionally. Please return it to the book seller.
You can also modify the preferences so that Submit will wait longer for a response from the Grade Grinder, and/or use a specified server. Each of these may have an impact on your success in connecting.
- You spelled the email address incorrectly,
- Your email account is over quota,
- The computer to which your email is delivered is unvailable (down, or not on the network)
- A spam filter on the computer to which your email is delivered is blocking our address.
When we receive a mail bounce, we mark your account to indicate this, and you will be unable to Submit again until the problem is fixed. In any case, you must tell us that the problem is fixed, by visiting our web site and updating your address (even if it remains the same.) It takes about fifteen minutes for the system to be fully updated after doing this.
What you must do to fix the problem varies depending on the nature of the problem. Obviously, if the email address is spelled incorrectly, you should correct it. If your account is over quota, deleting mail will be the solution. You probably can't do anything about the network or mail host being down.
If you are the victim of an over-eager spam filter, there are a couple of things that you can try. The first is to change your preferred server using Submit's preferences. If only one server is being blocked by the filter, then use the other. For technical reasons, it is most likely that it is gradegrinder.stanford.edu that is being blocked. Having changed your Submit settings, you will then need to visit the web site and reset your address to clear the flag. Don't forget to wait for about fifteen minutes for the system to reset.
Submit and the Grade Grinder for Instructors
If you are using the second edition of Language, Proof and Logic, then your software runs on Lion and Mountain Lion "out of the box".
If you are using the first edition of either Language, Proof and Logic, or Tarski's World, and if you have already registered, you can log in to download Lion-compatible versions of our software here. If you have not already registered, then you need to obtain the Lion-compatible version of Submit in order to register.
Fortunately, there is a workaround. Instead of using this small window, click on the button to the right of the file name. This will open a larger file dialog which will allow you to navigate the file system without using the pulldown menu.
Depending on the mode of this dialog, you will see different things: a panel of icons, a list of files, etc; The mode is determined by a row of buttons to the right of the two arrows arrows in the row beneath the file name. All of the modes will enable you to navigate inside folders, but if you need to navigate up to a parent folder, you will need to be in column mode, which you select using the button that looks like three columns.
Our applications remember where you last saved a file, and MacOS remembers the settings for the dialog, so only the first save is so problematic.
The Windows key operates analogouly to a Shift, Control/Ctrl, or Alt key. That is, to press "Windows-r" (written also as "Windows+r"), which is referred to as a "keyboard shortcut", you hold down the Windows key, then press the "r" key.
There are keyboard shortcuts for a number of functions.
Windows Help has a search option where you can type in a keyword or phrase to get a list of related topics.
"create a shortcut"
To open this Run dialog, try using the keyboard shortcut, Windows+r. (Sometimes, there is a Run item in the Start menu.)
If you need more help, open Windows Help, and search for the phrase (include the quotation marks):
The DirectX Diagnostics window has a button to "Save All Information". Use that to create a file, then email it (as an attachment or its contents) to us. Thank you.
Depending on your edition of Windows, one of the results should be something like:
- What is System Information
- Using System Information
- Display system data
"print screen"NOTE: On most notebook computers, to press the "Print Screen" key (which might be abbreviated as "prt sc"), you'll have to hold down a "function" key (typically labeled "fn" and located in the bottom left corner of your keyboard) then press the "Print Screen" (generally located in the upper right corner of your keyboard).
To save the "screen capture" to a file, open Microsoft Paint by opening the Run dialog, and entering:
mspaintThen, paste and save.
- Right Click Submit.exe (or the program causing problems)
- Select Properties
- Select Compatibility mode
- Check "Run this program in compatibility mode Windows XP (sp 3)". (or some other older version of Windows)
For more information about the Vista Basic color scheme, open Windows Help, and search for the phrase (include the quotation marks):
You can check what graphics your system uses by running dxdiag, selecting the Display tab, then looking in the Device area.
Something that has worked is to set the "Depth Buffer Bit Depth" to "16 Bit Depth Buffer":
Right-click on the desktop, look for and select the "Graphics Properties..." popup menu item (or something similar, but NOT "Graphics Options").
This should open the "Intel Graphics Media Accelerator Driver" control panel.
If not, look in the list of Control Panels for "Intel(R) GMA Driver" (or something similar; "GMA" stands for "Graphics Media Accelarator").
Click on the "3D Settings" button to open a "OpenGL Settings" window, which has a table with two columns: "Attribute" and "Value".
Go to the "Depth Buffer Bit Depth" attribute, then click in its value column for a pulldown menu. Set it to "16 Bit Depth Buffer".
Click the "Apply" button.
If this does not work for you, please send us the dxdiag information!
We are sorry for this inconvenience.
If you see the message:
Extension "GLX" missing on display ":0.0"
You need to either change your X configuration to load the glx extension or install a video driver which supports glx. Unfortunately both of these changes can be complicated and are beyond the help that we can give in this FAQ. A good place to start to look for help would be a web search including your flavor of linux, your video hardware and the term glx.