├── License.txt ├── README.md ├── TR ├── TESTS │ ├── BAN_ASCII_syntax.j │ ├── BAN_syntax.j │ ├── bs.j │ ├── sequent_syntax.j │ └── set_syntax.j ├── build.xml ├── prepelim.subst ├── tr.html └── tr.java ├── dev ├── Unicode │ ├── README │ ├── UTF-8-demo.txt │ ├── jape2utf.py │ ├── jape_konstanz.py │ ├── jape_laura.py │ ├── jape_laura2konstanz.py │ ├── japeadhoc.py │ ├── japeenc.py │ ├── jnj.jt │ ├── jnj.jt.utf_8 │ ├── makeCodec.py │ ├── tests │ │ ├── UTF-8-demo.txt │ │ ├── functions_rules.j │ │ ├── jnj.jt │ │ ├── jnj.jt.utf_8 │ │ └── sequent_syntax.j │ └── trie.py ├── WebSite │ ├── README │ ├── index.html │ └── japelogo.gif ├── doc │ └── manuals │ │ ├── .gitignore │ │ ├── IFP │ │ └── JapeForIFP.pdf │ │ ├── Makefile │ │ ├── disproof_howto │ │ ├── .gitignore │ │ ├── disproof_howto.tex │ │ └── pics │ │ │ ├── elaboratecounterexample.pdf │ │ │ ├── firstcounterexample.pdf │ │ │ ├── firstexample.png │ │ │ ├── firstmultiworld.pdf │ │ │ ├── horrid1.pdf │ │ │ ├── parvainmultum.pdf │ │ │ ├── quantifiers1.pdf │ │ │ ├── samuels0.pdf │ │ │ ├── samuels1.pdf │ │ │ ├── samuels2.pdf │ │ │ ├── samuels3.pdf │ │ │ ├── samuels4.pdf │ │ │ └── samuels5.pdf │ │ ├── forward_reasoning │ │ ├── .gitignore │ │ ├── forward_reasoning.tex │ │ ├── pics │ │ │ ├── bifurcatedbox1.pdf │ │ │ ├── bifurcatedbox2.pdf │ │ │ ├── bifurcatedbox3.pdf │ │ │ ├── bifurcatedbox3a.pdf │ │ │ ├── bifurcatedtree1.pdf │ │ │ ├── bifurcatedtree2.pdf │ │ │ ├── bifurcatedtree3.pdf │ │ │ ├── bifurcatedtree3a.pdf │ │ │ ├── downwardcutbox.pdf │ │ │ ├── firsttree.pdf │ │ │ ├── firsttreeboxed.pdf │ │ │ ├── firsttreeboxedgreyed.pdf │ │ │ ├── forwardbox1.pdf │ │ │ ├── forwardcut1.pdf │ │ │ ├── forwardcut1tree.pdf │ │ │ ├── secondtree.pdf │ │ │ ├── secondtreeboxed.pdf │ │ │ ├── secondtreeboxedidhidden.pdf │ │ │ └── upwardcutbox.pdf │ │ └── seplogmacros.tex │ │ ├── natural_deduction │ │ ├── .gitignore │ │ ├── natural_deduction_manual.tex │ │ └── pics │ │ │ ├── !elimbackwardsisharderA.pdf │ │ │ ├── !elimbackwardsisharderB.pdf │ │ │ ├── !elimforwardsiseasyA.pdf │ │ │ ├── !elimforwardsiseasyB.pdf │ │ │ ├── !introbackwardsiseasyA.pdf │ │ │ ├── !introbackwardsiseasyB.pdf │ │ │ ├── .gitignore │ │ │ ├── @introbackwardsworks.pdf │ │ │ ├── NOTINerrormessage.pdf │ │ │ ├── ambiguousconclusion.pdf │ │ │ ├── ambiguousformula.pdf │ │ │ ├── ambiguoushypothesis.pdf │ │ │ ├── arrowelimforwardafter.pdf │ │ │ ├── arrowelimforwardbefore.pdf │ │ │ ├── arrowelimhalfbackwardafter.pdf │ │ │ ├── arrowelimhalfbackwardbefore.pdf │ │ │ ├── arrowintrobackwardafter.pdf │ │ │ ├── arrowintrobackwardbefore.pdf │ │ │ ├── backwardmenu.pdf │ │ │ ├── classicalcontrastepA.pdf │ │ │ ├── classicalcontrastepB.pdf │ │ │ ├── conclusionselection.pdf │ │ │ ├── concselectedforbackwardstep.pdf │ │ │ ├── concselectedforbackwardstep2.pdf │ │ │ ├── concselectedforbackwardstep2result.pdf │ │ │ ├── concselectedforbackwardstepresult.pdf │ │ │ ├── concselectiondisambiguatesA.pdf │ │ │ ├── concselectiondisambiguatesB.pdf │ │ │ ├── conjecturespanel.png │ │ │ ├── constructivecontraforwardsA.pdf │ │ │ ├── constructivecontraforwardsB.pdf │ │ │ ├── decoratedpanel.pdf │ │ │ ├── disallowedunification.pdf │ │ │ ├── disproofpane.pdf │ │ │ ├── elaboratecounterexample.pdf │ │ │ ├── existselimforwardsA.pdf │ │ │ ├── existselimforwardsB.pdf │ │ │ ├── existsintrobackwardsA.pdf │ │ │ ├── existsintrobackwardsB.pdf │ │ │ ├── firstcounterexample.pdf │ │ │ ├── firstmultiworld.pdf │ │ │ ├── firstproofwindow.png │ │ │ ├── foodle.pdf │ │ │ ├── forallelimforwardsA.pdf │ │ │ ├── forallelimforwardsB.pdf │ │ │ ├── forallintrobackwardsA.pdf │ │ │ ├── forallintrobackwardsB.pdf │ │ │ ├── forwardmenu.pdf │ │ │ ├── forwardstepnotarget.pdf │ │ │ ├── hypothesisandconclusion.pdf │ │ │ ├── hypothesisselection.pdf │ │ │ ├── hypreplacesunknownA.pdf │ │ │ ├── hypreplacesunknownB.pdf │ │ │ ├── hypselectedignoringtargetafter.pdf │ │ │ ├── hypselectedignoringtargetbefore.pdf │ │ │ ├── hypselectedwithtargetafter.pdf │ │ │ ├── hypselectedwithtargetbefore.pdf │ │ │ ├── multipleselection.pdf │ │ │ ├── multiplesubformulaselection.pdf │ │ │ ├── newconjecturewindow.pdf │ │ │ ├── nopremisetheoremforwardA.pdf │ │ │ ├── nopremisetheoremforwardB.pdf │ │ │ ├── notelimbackwardsA.pdf │ │ │ ├── notelimbackwardsB.pdf │ │ │ ├── notelimbackwardswithsubformulaA.pdf │ │ │ ├── notelimbackwardswithsubformulaB.pdf │ │ │ ├── orintroforwardsA.pdf │ │ │ ├── orintroforwardsB.pdf │ │ │ ├── parvainmultum.pdf │ │ │ ├── proofwithproviso.pdf │ │ │ ├── proofwithprovisoA.pdf │ │ │ ├── proofwithprovisoB.pdf │ │ │ ├── provedconjecture.pdf │ │ │ ├── quantifiers1.pdf │ │ │ ├── samuels0.pdf │ │ │ ├── samuels1.pdf │ │ │ ├── samuels2.pdf │ │ │ ├── samuels3.pdf │ │ │ ├── samuels4.pdf │ │ │ ├── samuels5.pdf │ │ │ ├── singlepremisetheoremforwardA.pdf │ │ │ ├── singlepremisetheoremforwardB.pdf │ │ │ ├── singlesubformulaselection.pdf │ │ │ ├── splashscreen.png │ │ │ ├── theorembackwardA.pdf │ │ │ ├── theorembackwardB.pdf │ │ │ ├── two-selectionforwardstepafter.pdf │ │ │ ├── two-selectionforwardstepbefore.pdf │ │ │ ├── unifyreplacesunknownA.pdf │ │ │ ├── unifyreplacesunknownB.pdf │ │ │ ├── velimneedstargetconclusionafter.pdf │ │ │ ├── velimneedstargetconclusionbefore.pdf │ │ │ ├── vintrobackwardsiseasyA.pdf │ │ │ ├── vintrobackwardsiseasyB.pdf │ │ │ ├── vintroforwardsgeneratesunknownA.pdf │ │ │ └── vintroforwardsgeneratesunknownB.pdf │ │ └── roll_your_own │ │ ├── .gitignore │ │ ├── Aristotle.tex │ │ ├── BAN.tex │ │ ├── GUIlang.tex │ │ ├── HindleyMilner.tex │ │ ├── Hoare.tex │ │ ├── I2L.tex │ │ ├── ItL.tex │ │ ├── Kripke.tex │ │ ├── basics.tex │ │ ├── boxNtree.tex │ │ ├── funcprog.tex │ │ ├── paraformlang.tex │ │ ├── pics │ │ ├── Aristotle │ │ │ ├── Darapti_0.pdf │ │ │ ├── Darapti_1.pdf │ │ │ ├── Darapti_2.pdf │ │ │ ├── Darapti_3.pdf │ │ │ ├── Java Printing.pdf │ │ │ ├── Square_of_opposition.svg │ │ │ ├── square_of_opposition.graffle │ │ │ ├── square_of_opposition.pdf │ │ │ ├── subaltern_0.pdf │ │ │ └── subaltern_1.pdf │ │ ├── BAN │ │ │ └── NSexample1.pdf │ │ ├── HindleyMilner │ │ │ └── maptype.pdf │ │ ├── I2L │ │ │ ├── andcutinbox2.pdf │ │ │ ├── andcutinbox3A.pdf │ │ │ ├── andcutinbox3B.pdf │ │ │ ├── andcutinboxA.pdf │ │ │ ├── andcutinboxB.pdf │ │ │ ├── andcutinboxC.pdf │ │ │ ├── andcutinboxD.pdf │ │ │ ├── andcutintree.pdf │ │ │ ├── andcutintree2.pdf │ │ │ ├── andelimbox1A.pdf │ │ │ ├── andelimbox1B.pdf │ │ │ ├── andelimbox1C.pdf │ │ │ ├── andintroboxB1.pdf │ │ │ ├── andintroboxB2.pdf │ │ │ ├── andintroboxC1.pdf │ │ │ ├── andintrotreeA.pdf │ │ │ ├── andintrotreeB.pdf │ │ │ ├── andintrotreeC.pdf │ │ │ └── tearprovocation.pdf │ │ ├── IMCSPeirce0.pdf │ │ ├── IMCSPeirce1.pdf │ │ ├── IMCSPeirce2.pdf │ │ ├── LF0.pdf │ │ ├── LF1.pdf │ │ ├── LF1a.pdf │ │ ├── LF2.pdf │ │ ├── LF2a.pdf │ │ ├── LFbad0.pdf │ │ ├── LFbad1.pdf │ │ ├── LFbad2.pdf │ │ ├── boxNlinebifurcated.pdf │ │ ├── dragstage1.jpg │ │ ├── dragstage2.jpg │ │ ├── dragstage3.pdf │ │ ├── forwardstepA.pdf │ │ ├── forwardstepB.pdf │ │ ├── forwardstepC.pdf │ │ ├── forwardstepD.pdf │ │ ├── forwardstepE.pdf │ │ ├── forwardstepslowlyA.pdf │ │ ├── forwardstepslowlyB.pdf │ │ ├── forwardstepslowlyC.pdf │ │ ├── forwardstepslowlyD.pdf │ │ ├── forwardstepslowlyE.pdf │ │ ├── forwardstepwithcutC.pdf │ │ ├── forwardstepwithcutE.pdf │ │ ├── funcprog │ │ │ ├── assocprobA.pdf │ │ │ ├── assocprobB.pdf │ │ │ ├── assocprobC.pdf │ │ │ ├── assocprobD.pdf │ │ │ ├── definitionspanel.pdf │ │ │ ├── revrev=idA.pdf │ │ │ ├── revrev=idAunfolded.pdf │ │ │ ├── revrev=idtransitively.pdf │ │ │ ├── revrev=idtransitivelyrevealed.pdf │ │ │ ├── subformulaselection.pdf │ │ │ └── tokenselection.pdf │ │ ├── peirce0.pdf │ │ ├── peirce1.pdf │ │ ├── peirce2.pdf │ │ ├── peirce3.pdf │ │ ├── rev.rev=idA.pdf │ │ ├── rev.rev=idabittransformationally.pdf │ │ ├── sampleboxNline.pdf │ │ ├── sampleboxNlinegreyed.pdf │ │ ├── sampleboxNlinehiddenhyp.pdf │ │ ├── sampletree.pdf │ │ ├── sets │ │ │ ├── axiomaticwasteful.pdf │ │ │ └── derivedeconomical.pdf │ │ ├── treebifurcated.pdf │ │ ├── treeforwardstepwithcutC.pdf │ │ ├── treeforwardstepwithcutE.pdf │ │ ├── unifiesproviso0.pdf │ │ ├── unifiesproviso1.pdf │ │ ├── unifiesproviso2.pdf │ │ └── unifiesprovisoresolved.pdf │ │ ├── preface.tex │ │ ├── roll_your_own.bbl │ │ ├── roll_your_own.bib │ │ ├── roll_your_own.blg │ │ ├── roll_your_own.tex │ │ ├── sequentcalculus.tex │ │ ├── sequentvariations.tex │ │ ├── sets.tex │ │ ├── sortofprintf.tex │ │ └── tacticlang.tex └── jape.org │ ├── MESSAGE │ ├── distribute │ ├── index.html │ └── japelogo.gif └── distrib ├── .gitignore ├── 0READMEFIRST ├── CommonBuildResources ├── Linux │ ├── .gitignore │ ├── Makefile │ ├── README_BUILD_LINUX_JAPE.md │ ├── README_INSTALL.md │ ├── README_LINUX_BUILD.md │ ├── README_RUN.html │ ├── README_RUN.md │ ├── flatpak │ │ ├── .gitignore │ │ ├── README_INSTALL_FLATPAKJAPE.md │ │ ├── build.sh │ │ ├── installJape.sh │ │ ├── launchstub │ │ ├── prepare_flatpak.sh │ │ └── uk.org.jape.yaml │ ├── installJape.sh │ └── launchstub ├── Makefile-common ├── Windows │ ├── .gitignore │ ├── Jape.ico │ ├── JapeInstall.SED │ ├── Makefile │ ├── README BUILD FOR WINDOWS.md │ ├── README-WINDOWS.txt │ ├── extractToOriginalLocation.vbs │ ├── install.bat │ ├── launchstub.bat │ └── shortcutJS.bat └── version.sh ├── MacOSX ├── .gitignore ├── JREBundler │ ├── .gitignore │ ├── LICENSE.txt │ ├── README.md │ ├── build.xml │ ├── core │ │ ├── .gitignore │ │ ├── pom.xml │ │ └── src │ │ │ ├── assembly │ │ │ └── dist.xml │ │ │ └── main │ │ │ └── java │ │ │ └── org │ │ │ ├── .classpath │ │ │ ├── .gitignore │ │ │ ├── .project │ │ │ └── rbornat │ │ │ └── jrebundler │ │ │ ├── AppBundleProperties.java │ │ │ ├── DocumentType.java │ │ │ ├── HelpBook.java │ │ │ ├── JREBundler.java │ │ │ ├── JavaProperty.java │ │ │ ├── LSEnvironment.java │ │ │ ├── PropertyListWriter.java │ │ │ └── Service.java │ ├── docs │ │ ├── DiskImage.html │ │ ├── DocumentType.html │ │ ├── Examples.html │ │ ├── HelpBook.html │ │ ├── Service.html │ │ ├── StubFile.html │ │ ├── index.html │ │ └── styles.css │ ├── examples │ │ ├── .gitignore │ │ ├── HelpBook │ │ │ ├── English │ │ │ │ ├── index.html │ │ │ │ └── topics.html │ │ │ ├── German │ │ │ │ ├── index.html │ │ │ │ └── topics.html │ │ │ └── common │ │ │ │ ├── images │ │ │ │ ├── HelloWorld-16x16.png │ │ │ │ └── HelloWorld.png │ │ │ │ └── styles │ │ │ │ └── styles.css │ │ ├── build.xml │ │ ├── icons │ │ │ ├── Hello Document.icns │ │ │ ├── Hello World.icns │ │ │ ├── html.icns │ │ │ └── txt.icns │ │ ├── pom.xml │ │ └── src │ │ │ └── main │ │ │ ├── java │ │ │ └── com │ │ │ │ └── ultramixer │ │ │ │ └── jarbundler │ │ │ │ └── example │ │ │ │ ├── HelloWorld.java │ │ │ │ └── HelpBook.java │ │ │ └── obj-c │ │ │ └── HelpBookJNI.m │ └── pom.xml ├── Jape.icns ├── Makefile ├── README.md ├── README_BUILD_MACOSX_JAPE.md ├── build.xml ├── licences │ ├── Jape │ │ └── LICENCE.txt │ ├── jarbundler │ │ └── LICENSE.txt │ └── universalJavaApplicationStub │ │ └── LICENSE ├── macdistrib.sh ├── macunsign ├── makedmg ├── newicon1024.mdp ├── newicon1024.png ├── newicon128.png ├── newicon16.png ├── newicon256.png ├── newicon32.png ├── newicon512.png ├── newicon64.png └── universalJavaApplicationStub ├── RELEASENOTES ├── WORKLOG.txt ├── camlengine ├── .depend ├── .gitignore ├── Makefile ├── ToDo ├── _tags ├── absprooftree.ml ├── absprooftree.mli ├── alert.ml ├── alert.mli ├── answer.ml ├── answer.mli ├── applyrule.ml ├── applyrule.mli ├── binding.ml ├── binding.mli ├── box.ml ├── box.mli ├── boxdraw.ml ├── boxdraw.mli ├── button.ml ├── button.mli ├── cache.ml ├── cache.mli ├── cxtexterior.ml ├── cxtexterior.mli ├── cxtfuns.ml ├── cxtfuns.mli ├── cxtprovisos.ml ├── cxtprovisos.mli ├── cxtstring.ml ├── cxtstring.mli ├── cxttype.ml ├── dialogue.ml ├── dialogue.mli ├── displayclass.ml ├── displayclass.mli ├── displayfont.ml ├── displayfont.mli ├── displaystate.ml ├── displaystyle.ml ├── disproof.ml ├── disproof.mli ├── doubleclick.ml ├── doubleclick.mli ├── draw.ml ├── draw.mli ├── env.ml ├── env.mli ├── facts.ml ├── facts.mli ├── fix.ml ├── fix.mli ├── forcedef.ml ├── forcedef.mli ├── hit.ml ├── hit.mli ├── idclass.ml ├── idclass.mli ├── idclassfuns.ml ├── idclassfuns.mli ├── interaction.ml ├── interaction.mli ├── invisibles.ml ├── invisibles.mli ├── japeenv.ml ├── japeenv.mli ├── japeserver.ml ├── japeserver.mli ├── lexparse.ml ├── listfuns.ml ├── listfuns.mli ├── main.ml ├── mappingfuns.ml ├── mappingfuns.mli ├── match.ml ├── match.mli ├── menu.ml ├── menu.mli ├── minwaste.ml ├── minwaste.mli ├── miscellaneous.ml ├── miscellaneous.mli ├── moresys.ml ├── moresys.mli ├── name.ml ├── name.mli ├── nametype.ml ├── optionfuns.ml ├── optionfuns.mli ├── oracle.ml ├── oracle.mli ├── panelkind.ml ├── paragraph.ml ├── paragraph.mli ├── paragraphfuns.ml ├── paragraphfuns.mli ├── paraparam.ml ├── paraparam.mli ├── predicate.ml ├── predicate.mli ├── prestring.ml ├── prestring.mli ├── proofstage.ml ├── proofstate.ml ├── proofstate.mli ├── proofstore.ml ├── proofstore.mli ├── prooftree.ml ├── proviso.ml ├── proviso.mli ├── provisofuns.ml ├── provisofuns.mli ├── provisotype.ml ├── reason.ml ├── reason.mli ├── rew.ml ├── rew.mli ├── rewinf.ml ├── rewinf.mli ├── rewrite.ml ├── rewrite.mli ├── runproof.ml ├── runproof.mli ├── screendraw.ml ├── searchtree.ml ├── searchtree.mli ├── selection.ml ├── selection.mli ├── seqdraw.ml ├── seqdraw.mli ├── sequent.ml ├── sequent.mli ├── sexpr.ml ├── sexpr.mli ├── sml.ml ├── sml.mli ├── stringfuns.ml ├── stringfuns.mli ├── structurerule.ml ├── structurerule.mli ├── substmapfuns.ml ├── substmapfuns.mli ├── symbol.ml ├── symbol.mli ├── symboltype.ml ├── tactic.ml ├── tactic.mli ├── tacticfuns.ml ├── tacticfuns.mli ├── tactictype.ml ├── termfold.ml ├── termfold.mli ├── termfuns.ml ├── termfuns.mli ├── termparse.ml ├── termparse.mli ├── termstore.ml ├── termstore.mli ├── termstring.ml ├── termstring.mli ├── termtype.ml ├── termtype.mli ├── text.ml ├── text.mli ├── thing.ml ├── thing.mli ├── treedraw.ml ├── treedraw.mli ├── treeformat.ml ├── treelayout.ml ├── treelayout.mli ├── uTF.ml ├── uTF.mli ├── unify.ml ├── unify.mli ├── usefile.ml └── usefile.mli ├── docs ├── JapeProofWindow.png ├── JapeProofWindowLarger.png ├── JapeProofWindowLargerProviso.png ├── JapeProofWindowTree.png ├── JapeProofWindowTreeSmaller.png ├── coordinates and viewports.md └── scrollarchitecture.png ├── examples ├── Aristotle │ ├── .gitignore │ ├── Syllogisms appearance.j │ ├── Syllogisms rules.j │ ├── in symbols │ │ ├── Syllogisms (Jan von Plato).jt │ │ ├── Syllogisms (Roy Dyckhoff).jt │ │ ├── Syllogisms conjectures.j │ │ ├── Syllogisms rules.j │ │ ├── Syllogisms syntax.j │ │ └── von Plato.j │ └── in words │ │ ├── Syllogisms (Jan von Plato).jt │ │ ├── Syllogisms (Roy Dyckhoff).jt │ │ ├── Syllogisms conjectures.j │ │ ├── Syllogisms syntax.j │ │ └── von Plato.j ├── BAN │ ├── BAN.jt │ ├── BAN_ASCII.jt │ ├── BAN_ASCII_menus.j │ ├── BAN_ASCII_problems.j │ ├── BAN_ASCII_rules.j │ ├── BAN_ASCII_syntax.j │ ├── BAN_menus.j │ ├── BAN_problems.j │ ├── BAN_rules.j │ ├── BAN_syntax.j │ └── README_BAN.html ├── Barwise_n_Etchemendy │ ├── BnE-Fprime.jt │ ├── BnE-Fprime_LF.j │ ├── BnE-Fprime_hits.j │ ├── BnE-Fprime_menus.j │ ├── BnE-Fprime_rules.j │ └── BnE-Fprime_syntax.j ├── Hindley_Milner │ ├── H-Meval.jt │ ├── H-Meval_hits.j │ ├── H-Meval_problems.j │ ├── H-Meval_rules.j │ └── Mono.jt ├── IFPFRESH │ ├── IFP.jt │ ├── IFP_conjectures.j │ ├── IFP_derived.j │ ├── IFP_hits.j │ ├── IFP_intro_conjectures.j │ ├── IFP_menus.j │ ├── IFP_rules.j │ ├── IFP_style_menus.j │ ├── IFP_syntax.j │ ├── IFP_tactics.j │ ├── LISTING.pdf │ ├── ifp2c.j │ └── quantifier-proofs.jp ├── ItL_QMWpre2000 │ ├── ItL.jt │ ├── ItL_derivedrules.j │ ├── ItL_expcontra.j │ ├── ItL_hits.j │ ├── ItL_menus.j │ ├── ItL_problems.j │ ├── ItL_rules.j │ └── ItL_syntax.j ├── Lax_logic │ ├── LAX_IMCS.jt │ └── LAX_NDpt.jt ├── backwardstep_technology │ └── backwardstep.j ├── explain_technology │ ├── explain_basics.j │ ├── explain_selections.j │ └── explain_words.j ├── forwardstep_technology │ └── forwardstep.j ├── functional_programming │ ├── equality_menus.j │ ├── equality_rules.j │ ├── functions.jt │ ├── functions_menus.j │ ├── functions_rules.j │ ├── functions_transitivity.j │ └── trfunctions.jt ├── hoare_logic │ ├── hoare.jt │ ├── hoare_arith.j │ ├── hoare_menus.j │ ├── hoare_problems.j │ ├── hoare_rules.j │ └── hoare_syntax.j ├── jnj │ └── jnj.jt ├── modal_logic │ └── modal.jt ├── natural_deduction │ ├── I2L.jt │ ├── I2L_derivedrules.j │ ├── I2L_disproof.j │ ├── I2L_expcontra.j │ ├── I2L_hits.j │ ├── I2L_iff.j │ ├── I2L_integer_quantifiers.j │ ├── I2L_menus.j │ ├── I2L_problems.j │ ├── I2L_rules.j │ ├── I2L_settings.j │ ├── I2L_syntax.j │ └── singlepremise_I2L.jt ├── operational_semantics │ ├── ipl.jt │ ├── lambda.jt │ └── mapping.j ├── rewrite_technology │ ├── rewrite_menus.j │ ├── rewrite_rules.j │ └── rewrite_syntax.j ├── sequent_calculus │ ├── IMCS.j │ ├── MCS.jt │ ├── MCS_LF.j │ ├── MCS_rules.j │ ├── MMCS.j │ ├── SCS.jt │ ├── SCS_LF.j │ ├── SCS_rules.j │ ├── sequent_problems.j │ ├── sequent_scoping.j │ └── sequent_syntax.j ├── sets │ ├── set.jt │ ├── set_LF.j │ ├── set_hits.j │ ├── set_menus.j │ ├── set_problems.j │ ├── set_rules.j │ ├── set_russell.j │ └── set_syntax.j └── useful_buttons │ ├── applyconjectures in Edit menu.j │ ├── autoselect in Edit menu.j │ ├── debug file and settings.j │ ├── displaystyle in Edit menu.j │ ├── profiling in Edit menu.j │ └── tryresolution in Edit menu.j ├── iconset ├── icon_128x128.png ├── icon_128x128@2x.png ├── icon_16x16.png ├── icon_16x16@2x.png ├── icon_256x256.png ├── icon_256x256@2x.png ├── icon_32x32.png ├── icon_32x32@2x.png ├── icon_512x512.png └── icon_512x512@2x.png ├── java_GUI ├── .gitignore ├── Pics │ ├── japeicon.png │ ├── japelogo.png │ ├── wastebin_disabled.jpg │ ├── wastebin_enabled.jpg │ └── wastebin_selected.jpg ├── PrintAllProperties.java ├── ToDo ├── build.xml └── src │ ├── OSX │ └── uk │ │ └── org │ │ └── jape │ │ └── LocalSettings.java │ ├── base │ └── uk │ │ └── org │ │ └── jape │ │ ├── .gitignore │ │ ├── AboutBox.java │ │ ├── Alert.java │ │ ├── AnchoredScrollPane.java │ │ ├── AnnotatedTextComponent.java │ │ ├── ButtonPane.java │ │ ├── ChoiceDialog.java │ │ ├── CircleItem.java │ │ ├── CircleSelection.java │ │ ├── ContainerWithOrigin.java │ │ ├── ControlWindow.java │ │ ├── DebugConstants.java │ │ ├── DebugVars.java │ │ ├── DirectedFormulaSelection.java │ │ ├── Dispatcher.java │ │ ├── DisplayItem.java │ │ ├── DisproofCanvas.java │ │ ├── DisproofPane.java │ │ ├── DragComponent.java │ │ ├── DragImage.java │ │ ├── DragIndicator.java │ │ ├── DragLine.java │ │ ├── DragWorldLine.java │ │ ├── EmphasisableItem.java │ │ ├── Engine.java │ │ ├── Export.java │ │ ├── ExportPic.java │ │ ├── FileChooser.java │ │ ├── FilePrefs.java │ │ ├── Flyback.java │ │ ├── FormulaTarget.java │ │ ├── Images.java │ │ ├── Jape.java │ │ ├── JapeCanvas.java │ │ ├── JapeFileFilter.java │ │ ├── JapeFont.java │ │ ├── JapeMenu.java │ │ ├── JapeMouseAdapter.java │ │ ├── JapeMouseListener.java │ │ ├── JapeMouseTextAdapter.java │ │ ├── JapePrefs.java │ │ ├── JapeUtils.java │ │ ├── JapeWindow.java │ │ ├── LabelTarget.java │ │ ├── LemmaDialog.java │ │ ├── LineComponent.java │ │ ├── LineItem.java │ │ ├── LineTarget.java │ │ ├── Logger.java │ │ ├── MenuHolder.java │ │ ├── MinWaste.java │ │ ├── MiscellaneousConstants.java │ │ ├── OutlineItem.java │ │ ├── PanelWindowData.java │ │ ├── PosIntHashMap.java │ │ ├── PreferencesDialog.java │ │ ├── PrintProof.java │ │ ├── ProofCanvas.java │ │ ├── ProofWindow.java │ │ ├── ProtocolConstants.java │ │ ├── ProtocolError.java │ │ ├── ProvisoCanvas.java │ │ ├── RectItem.java │ │ ├── RectSelection.java │ │ ├── RegisteredDrag.java │ │ ├── Reply.java │ │ ├── SelectableItem.java │ │ ├── SelectableProofItem.java │ │ ├── SelectionConstants.java │ │ ├── SelectionIndicator.java │ │ ├── SurrogateWindow.java │ │ ├── TextComponent.java │ │ ├── TextDialog.java │ │ ├── TextDimension.java │ │ ├── TextItem.java │ │ ├── TextSelectableItem.java │ │ ├── Tile.java │ │ ├── TileTarget.java │ │ ├── WasteBin.java │ │ ├── WorldCanvas.java │ │ ├── WorldConnector.java │ │ ├── WorldItem.java │ │ ├── WorldLabel.java │ │ ├── WorldSelection.java │ │ └── WorldTarget.java │ ├── module │ └── uk.org.jape │ │ └── .gitignore │ └── standard │ └── uk │ └── org │ └── jape │ └── LocalSettings.java ├── jedit_resources ├── JAPELibrary.bsh ├── JAPETaskBar.bsh └── README ├── oracles └── Hoare_oracle │ ├── .gitignore │ ├── hoarelexer.mll │ ├── hoareoracle.ml │ └── hoareparser.mly └── utf8_encoder ├── .gitignore ├── Makefile ├── README_encoder.txt └── encoder.java /License.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/License.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/README.md -------------------------------------------------------------------------------- /TR/TESTS/BAN_ASCII_syntax.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/TR/TESTS/BAN_ASCII_syntax.j -------------------------------------------------------------------------------- /TR/TESTS/BAN_syntax.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/TR/TESTS/BAN_syntax.j -------------------------------------------------------------------------------- /TR/TESTS/bs.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/TR/TESTS/bs.j -------------------------------------------------------------------------------- /TR/TESTS/sequent_syntax.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/TR/TESTS/sequent_syntax.j -------------------------------------------------------------------------------- /TR/TESTS/set_syntax.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/TR/TESTS/set_syntax.j -------------------------------------------------------------------------------- /TR/build.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/TR/build.xml -------------------------------------------------------------------------------- /TR/prepelim.subst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/TR/prepelim.subst -------------------------------------------------------------------------------- /TR/tr.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/TR/tr.html -------------------------------------------------------------------------------- /TR/tr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/TR/tr.java -------------------------------------------------------------------------------- /dev/Unicode/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/Unicode/README -------------------------------------------------------------------------------- /dev/Unicode/UTF-8-demo.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/Unicode/UTF-8-demo.txt -------------------------------------------------------------------------------- /dev/Unicode/jape2utf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/Unicode/jape2utf.py -------------------------------------------------------------------------------- /dev/Unicode/jape_konstanz.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/Unicode/jape_konstanz.py -------------------------------------------------------------------------------- /dev/Unicode/jape_laura.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/Unicode/jape_laura.py -------------------------------------------------------------------------------- /dev/Unicode/jape_laura2konstanz.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/Unicode/jape_laura2konstanz.py -------------------------------------------------------------------------------- /dev/Unicode/japeadhoc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/Unicode/japeadhoc.py -------------------------------------------------------------------------------- /dev/Unicode/japeenc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/Unicode/japeenc.py -------------------------------------------------------------------------------- /dev/Unicode/jnj.jt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/Unicode/jnj.jt -------------------------------------------------------------------------------- /dev/Unicode/jnj.jt.utf_8: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/Unicode/jnj.jt.utf_8 -------------------------------------------------------------------------------- /dev/Unicode/makeCodec.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/Unicode/makeCodec.py -------------------------------------------------------------------------------- /dev/Unicode/tests/UTF-8-demo.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/Unicode/tests/UTF-8-demo.txt -------------------------------------------------------------------------------- /dev/Unicode/tests/functions_rules.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/Unicode/tests/functions_rules.j -------------------------------------------------------------------------------- /dev/Unicode/tests/jnj.jt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/Unicode/tests/jnj.jt -------------------------------------------------------------------------------- /dev/Unicode/tests/jnj.jt.utf_8: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/Unicode/tests/jnj.jt.utf_8 -------------------------------------------------------------------------------- /dev/Unicode/tests/sequent_syntax.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/Unicode/tests/sequent_syntax.j -------------------------------------------------------------------------------- /dev/Unicode/trie.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/Unicode/trie.py -------------------------------------------------------------------------------- /dev/WebSite/README: -------------------------------------------------------------------------------- 1 | This directory is the proto-website for jape.org.uk 2 | -------------------------------------------------------------------------------- /dev/WebSite/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/WebSite/index.html -------------------------------------------------------------------------------- /dev/WebSite/japelogo.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/WebSite/japelogo.gif -------------------------------------------------------------------------------- /dev/doc/manuals/.gitignore: -------------------------------------------------------------------------------- 1 | SYNCTO.pdf 2 | -------------------------------------------------------------------------------- /dev/doc/manuals/IFP/JapeForIFP.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/IFP/JapeForIFP.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/Makefile -------------------------------------------------------------------------------- /dev/doc/manuals/disproof_howto/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/disproof_howto/.gitignore -------------------------------------------------------------------------------- /dev/doc/manuals/disproof_howto/disproof_howto.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/disproof_howto/disproof_howto.tex -------------------------------------------------------------------------------- /dev/doc/manuals/disproof_howto/pics/elaboratecounterexample.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/disproof_howto/pics/elaboratecounterexample.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/disproof_howto/pics/firstcounterexample.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/disproof_howto/pics/firstcounterexample.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/disproof_howto/pics/firstexample.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/disproof_howto/pics/firstexample.png -------------------------------------------------------------------------------- /dev/doc/manuals/disproof_howto/pics/firstmultiworld.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/disproof_howto/pics/firstmultiworld.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/disproof_howto/pics/horrid1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/disproof_howto/pics/horrid1.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/disproof_howto/pics/parvainmultum.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/disproof_howto/pics/parvainmultum.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/disproof_howto/pics/quantifiers1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/disproof_howto/pics/quantifiers1.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/disproof_howto/pics/samuels0.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/disproof_howto/pics/samuels0.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/disproof_howto/pics/samuels1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/disproof_howto/pics/samuels1.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/disproof_howto/pics/samuels2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/disproof_howto/pics/samuels2.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/disproof_howto/pics/samuels3.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/disproof_howto/pics/samuels3.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/disproof_howto/pics/samuels4.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/disproof_howto/pics/samuels4.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/disproof_howto/pics/samuels5.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/disproof_howto/pics/samuels5.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/forward_reasoning/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/forward_reasoning/.gitignore -------------------------------------------------------------------------------- /dev/doc/manuals/forward_reasoning/forward_reasoning.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/forward_reasoning/forward_reasoning.tex -------------------------------------------------------------------------------- /dev/doc/manuals/forward_reasoning/pics/bifurcatedbox1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/forward_reasoning/pics/bifurcatedbox1.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/forward_reasoning/pics/bifurcatedbox2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/forward_reasoning/pics/bifurcatedbox2.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/forward_reasoning/pics/bifurcatedbox3.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/forward_reasoning/pics/bifurcatedbox3.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/forward_reasoning/pics/bifurcatedbox3a.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/forward_reasoning/pics/bifurcatedbox3a.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/forward_reasoning/pics/bifurcatedtree1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/forward_reasoning/pics/bifurcatedtree1.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/forward_reasoning/pics/bifurcatedtree2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/forward_reasoning/pics/bifurcatedtree2.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/forward_reasoning/pics/bifurcatedtree3.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/forward_reasoning/pics/bifurcatedtree3.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/forward_reasoning/pics/bifurcatedtree3a.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/forward_reasoning/pics/bifurcatedtree3a.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/forward_reasoning/pics/downwardcutbox.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/forward_reasoning/pics/downwardcutbox.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/forward_reasoning/pics/firsttree.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/forward_reasoning/pics/firsttree.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/forward_reasoning/pics/firsttreeboxed.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/forward_reasoning/pics/firsttreeboxed.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/forward_reasoning/pics/firsttreeboxedgreyed.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/forward_reasoning/pics/firsttreeboxedgreyed.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/forward_reasoning/pics/forwardbox1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/forward_reasoning/pics/forwardbox1.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/forward_reasoning/pics/forwardcut1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/forward_reasoning/pics/forwardcut1.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/forward_reasoning/pics/forwardcut1tree.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/forward_reasoning/pics/forwardcut1tree.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/forward_reasoning/pics/secondtree.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/forward_reasoning/pics/secondtree.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/forward_reasoning/pics/secondtreeboxed.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/forward_reasoning/pics/secondtreeboxed.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/forward_reasoning/pics/secondtreeboxedidhidden.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/forward_reasoning/pics/secondtreeboxedidhidden.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/forward_reasoning/pics/upwardcutbox.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/forward_reasoning/pics/upwardcutbox.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/forward_reasoning/seplogmacros.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/forward_reasoning/seplogmacros.tex -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/.gitignore -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/natural_deduction_manual.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/natural_deduction_manual.tex -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/!elimbackwardsisharderA.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/!elimbackwardsisharderA.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/!elimbackwardsisharderB.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/!elimbackwardsisharderB.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/!elimforwardsiseasyA.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/!elimforwardsiseasyA.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/!elimforwardsiseasyB.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/!elimforwardsiseasyB.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/!introbackwardsiseasyA.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/!introbackwardsiseasyA.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/!introbackwardsiseasyB.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/!introbackwardsiseasyB.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/.gitignore: -------------------------------------------------------------------------------- 1 | *.tiff 2 | -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/@introbackwardsworks.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/@introbackwardsworks.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/NOTINerrormessage.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/NOTINerrormessage.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/ambiguousconclusion.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/ambiguousconclusion.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/ambiguousformula.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/ambiguousformula.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/ambiguoushypothesis.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/ambiguoushypothesis.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/arrowelimforwardafter.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/arrowelimforwardafter.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/arrowelimforwardbefore.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/arrowelimforwardbefore.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/arrowelimhalfbackwardafter.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/arrowelimhalfbackwardafter.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/arrowelimhalfbackwardbefore.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/arrowelimhalfbackwardbefore.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/arrowintrobackwardafter.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/arrowintrobackwardafter.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/arrowintrobackwardbefore.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/arrowintrobackwardbefore.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/backwardmenu.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/backwardmenu.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/classicalcontrastepA.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/classicalcontrastepA.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/classicalcontrastepB.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/classicalcontrastepB.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/conclusionselection.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/conclusionselection.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/concselectedforbackwardstep.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/concselectedforbackwardstep.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/concselectedforbackwardstep2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/concselectedforbackwardstep2.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/concselectedforbackwardstep2result.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/concselectedforbackwardstep2result.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/concselectedforbackwardstepresult.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/concselectedforbackwardstepresult.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/concselectiondisambiguatesA.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/concselectiondisambiguatesA.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/concselectiondisambiguatesB.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/concselectiondisambiguatesB.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/conjecturespanel.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/conjecturespanel.png -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/constructivecontraforwardsA.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/constructivecontraforwardsA.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/constructivecontraforwardsB.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/constructivecontraforwardsB.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/decoratedpanel.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/decoratedpanel.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/disallowedunification.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/disallowedunification.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/disproofpane.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/disproofpane.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/elaboratecounterexample.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/elaboratecounterexample.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/existselimforwardsA.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/existselimforwardsA.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/existselimforwardsB.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/existselimforwardsB.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/existsintrobackwardsA.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/existsintrobackwardsA.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/existsintrobackwardsB.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/existsintrobackwardsB.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/firstcounterexample.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/firstcounterexample.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/firstmultiworld.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/firstmultiworld.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/firstproofwindow.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/firstproofwindow.png -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/foodle.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/foodle.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/forallelimforwardsA.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/forallelimforwardsA.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/forallelimforwardsB.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/forallelimforwardsB.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/forallintrobackwardsA.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/forallintrobackwardsA.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/forallintrobackwardsB.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/forallintrobackwardsB.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/forwardmenu.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/forwardmenu.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/forwardstepnotarget.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/forwardstepnotarget.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/hypothesisandconclusion.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/hypothesisandconclusion.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/hypothesisselection.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/hypothesisselection.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/hypreplacesunknownA.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/hypreplacesunknownA.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/hypreplacesunknownB.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/hypreplacesunknownB.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/hypselectedignoringtargetafter.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/hypselectedignoringtargetafter.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/hypselectedignoringtargetbefore.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/hypselectedignoringtargetbefore.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/hypselectedwithtargetafter.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/hypselectedwithtargetafter.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/hypselectedwithtargetbefore.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/hypselectedwithtargetbefore.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/multipleselection.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/multipleselection.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/multiplesubformulaselection.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/multiplesubformulaselection.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/newconjecturewindow.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/newconjecturewindow.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/nopremisetheoremforwardA.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/nopremisetheoremforwardA.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/nopremisetheoremforwardB.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/nopremisetheoremforwardB.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/notelimbackwardsA.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/notelimbackwardsA.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/notelimbackwardsB.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/notelimbackwardsB.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/notelimbackwardswithsubformulaA.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/notelimbackwardswithsubformulaA.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/notelimbackwardswithsubformulaB.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/notelimbackwardswithsubformulaB.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/orintroforwardsA.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/orintroforwardsA.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/orintroforwardsB.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/orintroforwardsB.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/parvainmultum.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/parvainmultum.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/proofwithproviso.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/proofwithproviso.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/proofwithprovisoA.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/proofwithprovisoA.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/proofwithprovisoB.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/proofwithprovisoB.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/provedconjecture.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/provedconjecture.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/quantifiers1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/quantifiers1.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/samuels0.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/samuels0.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/samuels1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/samuels1.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/samuels2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/samuels2.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/samuels3.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/samuels3.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/samuels4.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/samuels4.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/samuels5.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/samuels5.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/singlepremisetheoremforwardA.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/singlepremisetheoremforwardA.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/singlepremisetheoremforwardB.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/singlepremisetheoremforwardB.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/singlesubformulaselection.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/singlesubformulaselection.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/splashscreen.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/splashscreen.png -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/theorembackwardA.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/theorembackwardA.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/theorembackwardB.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/theorembackwardB.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/two-selectionforwardstepafter.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/two-selectionforwardstepafter.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/two-selectionforwardstepbefore.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/two-selectionforwardstepbefore.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/unifyreplacesunknownA.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/unifyreplacesunknownA.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/unifyreplacesunknownB.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/unifyreplacesunknownB.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/velimneedstargetconclusionafter.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/velimneedstargetconclusionafter.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/velimneedstargetconclusionbefore.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/velimneedstargetconclusionbefore.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/vintrobackwardsiseasyA.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/vintrobackwardsiseasyA.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/vintrobackwardsiseasyB.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/vintrobackwardsiseasyB.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/vintroforwardsgeneratesunknownA.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/vintroforwardsgeneratesunknownA.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/natural_deduction/pics/vintroforwardsgeneratesunknownB.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/natural_deduction/pics/vintroforwardsgeneratesunknownB.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/.gitignore -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/Aristotle.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/Aristotle.tex -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/BAN.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/BAN.tex -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/GUIlang.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/GUIlang.tex -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/HindleyMilner.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/HindleyMilner.tex -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/Hoare.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/Hoare.tex -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/I2L.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/I2L.tex -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/ItL.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/ItL.tex -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/Kripke.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/Kripke.tex -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/basics.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/basics.tex -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/boxNtree.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/boxNtree.tex -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/funcprog.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/funcprog.tex -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/paraformlang.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/paraformlang.tex -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/Aristotle/Darapti_0.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/Aristotle/Darapti_0.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/Aristotle/Darapti_1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/Aristotle/Darapti_1.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/Aristotle/Darapti_2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/Aristotle/Darapti_2.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/Aristotle/Darapti_3.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/Aristotle/Darapti_3.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/Aristotle/Java Printing.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/Aristotle/Java Printing.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/Aristotle/Square_of_opposition.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/Aristotle/Square_of_opposition.svg -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/Aristotle/square_of_opposition.graffle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/Aristotle/square_of_opposition.graffle -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/Aristotle/square_of_opposition.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/Aristotle/square_of_opposition.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/Aristotle/subaltern_0.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/Aristotle/subaltern_0.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/Aristotle/subaltern_1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/Aristotle/subaltern_1.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/BAN/NSexample1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/BAN/NSexample1.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/HindleyMilner/maptype.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/HindleyMilner/maptype.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/I2L/andcutinbox2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/I2L/andcutinbox2.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/I2L/andcutinbox3A.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/I2L/andcutinbox3A.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/I2L/andcutinbox3B.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/I2L/andcutinbox3B.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/I2L/andcutinboxA.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/I2L/andcutinboxA.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/I2L/andcutinboxB.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/I2L/andcutinboxB.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/I2L/andcutinboxC.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/I2L/andcutinboxC.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/I2L/andcutinboxD.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/I2L/andcutinboxD.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/I2L/andcutintree.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/I2L/andcutintree.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/I2L/andcutintree2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/I2L/andcutintree2.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/I2L/andelimbox1A.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/I2L/andelimbox1A.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/I2L/andelimbox1B.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/I2L/andelimbox1B.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/I2L/andelimbox1C.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/I2L/andelimbox1C.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/I2L/andintroboxB1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/I2L/andintroboxB1.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/I2L/andintroboxB2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/I2L/andintroboxB2.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/I2L/andintroboxC1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/I2L/andintroboxC1.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/I2L/andintrotreeA.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/I2L/andintrotreeA.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/I2L/andintrotreeB.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/I2L/andintrotreeB.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/I2L/andintrotreeC.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/I2L/andintrotreeC.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/I2L/tearprovocation.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/I2L/tearprovocation.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/IMCSPeirce0.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/IMCSPeirce0.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/IMCSPeirce1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/IMCSPeirce1.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/IMCSPeirce2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/IMCSPeirce2.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/LF0.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/LF0.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/LF1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/LF1.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/LF1a.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/LF1a.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/LF2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/LF2.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/LF2a.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/LF2a.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/LFbad0.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/LFbad0.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/LFbad1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/LFbad1.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/LFbad2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/LFbad2.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/boxNlinebifurcated.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/boxNlinebifurcated.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/dragstage1.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/dragstage1.jpg -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/dragstage2.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/dragstage2.jpg -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/dragstage3.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/dragstage3.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/forwardstepA.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/forwardstepA.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/forwardstepB.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/forwardstepB.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/forwardstepC.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/forwardstepC.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/forwardstepD.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/forwardstepD.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/forwardstepE.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/forwardstepE.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/forwardstepslowlyA.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/forwardstepslowlyA.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/forwardstepslowlyB.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/forwardstepslowlyB.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/forwardstepslowlyC.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/forwardstepslowlyC.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/forwardstepslowlyD.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/forwardstepslowlyD.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/forwardstepslowlyE.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/forwardstepslowlyE.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/forwardstepwithcutC.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/forwardstepwithcutC.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/forwardstepwithcutE.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/forwardstepwithcutE.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/funcprog/assocprobA.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/funcprog/assocprobA.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/funcprog/assocprobB.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/funcprog/assocprobB.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/funcprog/assocprobC.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/funcprog/assocprobC.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/funcprog/assocprobD.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/funcprog/assocprobD.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/funcprog/definitionspanel.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/funcprog/definitionspanel.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/funcprog/revrev=idA.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/funcprog/revrev=idA.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/funcprog/revrev=idAunfolded.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/funcprog/revrev=idAunfolded.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/funcprog/revrev=idtransitively.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/funcprog/revrev=idtransitively.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/funcprog/revrev=idtransitivelyrevealed.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/funcprog/revrev=idtransitivelyrevealed.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/funcprog/subformulaselection.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/funcprog/subformulaselection.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/funcprog/tokenselection.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/funcprog/tokenselection.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/peirce0.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/peirce0.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/peirce1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/peirce1.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/peirce2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/peirce2.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/peirce3.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/peirce3.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/rev.rev=idA.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/rev.rev=idA.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/rev.rev=idabittransformationally.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/rev.rev=idabittransformationally.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/sampleboxNline.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/sampleboxNline.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/sampleboxNlinegreyed.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/sampleboxNlinegreyed.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/sampleboxNlinehiddenhyp.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/sampleboxNlinehiddenhyp.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/sampletree.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/sampletree.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/sets/axiomaticwasteful.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/sets/axiomaticwasteful.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/sets/derivedeconomical.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/sets/derivedeconomical.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/treebifurcated.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/treebifurcated.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/treeforwardstepwithcutC.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/treeforwardstepwithcutC.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/treeforwardstepwithcutE.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/treeforwardstepwithcutE.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/unifiesproviso0.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/unifiesproviso0.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/unifiesproviso1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/unifiesproviso1.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/unifiesproviso2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/unifiesproviso2.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/pics/unifiesprovisoresolved.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/pics/unifiesprovisoresolved.pdf -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/preface.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/preface.tex -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/roll_your_own.bbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/roll_your_own.bbl -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/roll_your_own.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/roll_your_own.bib -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/roll_your_own.blg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/roll_your_own.blg -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/roll_your_own.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/roll_your_own.tex -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/sequentcalculus.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/sequentcalculus.tex -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/sequentvariations.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/sequentvariations.tex -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/sets.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/sets.tex -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/sortofprintf.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/sortofprintf.tex -------------------------------------------------------------------------------- /dev/doc/manuals/roll_your_own/tacticlang.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/doc/manuals/roll_your_own/tacticlang.tex -------------------------------------------------------------------------------- /dev/jape.org/MESSAGE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/jape.org/MESSAGE -------------------------------------------------------------------------------- /dev/jape.org/distribute: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/jape.org/distribute -------------------------------------------------------------------------------- /dev/jape.org/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/jape.org/index.html -------------------------------------------------------------------------------- /dev/jape.org/japelogo.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/dev/jape.org/japelogo.gif -------------------------------------------------------------------------------- /distrib/.gitignore: -------------------------------------------------------------------------------- 1 | _build* 2 | -------------------------------------------------------------------------------- /distrib/0READMEFIRST: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/0READMEFIRST -------------------------------------------------------------------------------- /distrib/CommonBuildResources/Linux/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/CommonBuildResources/Linux/.gitignore -------------------------------------------------------------------------------- /distrib/CommonBuildResources/Linux/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/CommonBuildResources/Linux/Makefile -------------------------------------------------------------------------------- /distrib/CommonBuildResources/Linux/README_BUILD_LINUX_JAPE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/CommonBuildResources/Linux/README_BUILD_LINUX_JAPE.md -------------------------------------------------------------------------------- /distrib/CommonBuildResources/Linux/README_INSTALL.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/CommonBuildResources/Linux/README_INSTALL.md -------------------------------------------------------------------------------- /distrib/CommonBuildResources/Linux/README_LINUX_BUILD.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/CommonBuildResources/Linux/README_LINUX_BUILD.md -------------------------------------------------------------------------------- /distrib/CommonBuildResources/Linux/README_RUN.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/CommonBuildResources/Linux/README_RUN.html -------------------------------------------------------------------------------- /distrib/CommonBuildResources/Linux/README_RUN.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/CommonBuildResources/Linux/README_RUN.md -------------------------------------------------------------------------------- /distrib/CommonBuildResources/Linux/flatpak/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/CommonBuildResources/Linux/flatpak/.gitignore -------------------------------------------------------------------------------- /distrib/CommonBuildResources/Linux/flatpak/README_INSTALL_FLATPAKJAPE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/CommonBuildResources/Linux/flatpak/README_INSTALL_FLATPAKJAPE.md -------------------------------------------------------------------------------- /distrib/CommonBuildResources/Linux/flatpak/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/CommonBuildResources/Linux/flatpak/build.sh -------------------------------------------------------------------------------- /distrib/CommonBuildResources/Linux/flatpak/installJape.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/CommonBuildResources/Linux/flatpak/installJape.sh -------------------------------------------------------------------------------- /distrib/CommonBuildResources/Linux/flatpak/launchstub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/CommonBuildResources/Linux/flatpak/launchstub -------------------------------------------------------------------------------- /distrib/CommonBuildResources/Linux/flatpak/prepare_flatpak.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/CommonBuildResources/Linux/flatpak/prepare_flatpak.sh -------------------------------------------------------------------------------- /distrib/CommonBuildResources/Linux/flatpak/uk.org.jape.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/CommonBuildResources/Linux/flatpak/uk.org.jape.yaml -------------------------------------------------------------------------------- /distrib/CommonBuildResources/Linux/installJape.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/CommonBuildResources/Linux/installJape.sh -------------------------------------------------------------------------------- /distrib/CommonBuildResources/Linux/launchstub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/CommonBuildResources/Linux/launchstub -------------------------------------------------------------------------------- /distrib/CommonBuildResources/Makefile-common: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/CommonBuildResources/Makefile-common -------------------------------------------------------------------------------- /distrib/CommonBuildResources/Windows/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/CommonBuildResources/Windows/.gitignore -------------------------------------------------------------------------------- /distrib/CommonBuildResources/Windows/Jape.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/CommonBuildResources/Windows/Jape.ico -------------------------------------------------------------------------------- /distrib/CommonBuildResources/Windows/JapeInstall.SED: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/CommonBuildResources/Windows/JapeInstall.SED -------------------------------------------------------------------------------- /distrib/CommonBuildResources/Windows/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/CommonBuildResources/Windows/Makefile -------------------------------------------------------------------------------- /distrib/CommonBuildResources/Windows/README BUILD FOR WINDOWS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/CommonBuildResources/Windows/README BUILD FOR WINDOWS.md -------------------------------------------------------------------------------- /distrib/CommonBuildResources/Windows/README-WINDOWS.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/CommonBuildResources/Windows/README-WINDOWS.txt -------------------------------------------------------------------------------- /distrib/CommonBuildResources/Windows/extractToOriginalLocation.vbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/CommonBuildResources/Windows/extractToOriginalLocation.vbs -------------------------------------------------------------------------------- /distrib/CommonBuildResources/Windows/install.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/CommonBuildResources/Windows/install.bat -------------------------------------------------------------------------------- /distrib/CommonBuildResources/Windows/launchstub.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/CommonBuildResources/Windows/launchstub.bat -------------------------------------------------------------------------------- /distrib/CommonBuildResources/Windows/shortcutJS.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/CommonBuildResources/Windows/shortcutJS.bat -------------------------------------------------------------------------------- /distrib/CommonBuildResources/version.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/CommonBuildResources/version.sh -------------------------------------------------------------------------------- /distrib/MacOSX/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/.gitignore -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/.gitignore: -------------------------------------------------------------------------------- 1 | classes/ 2 | JREbundler*.jar 3 | -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/LICENSE.txt -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/README.md -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/build.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/build.xml -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/core/.gitignore: -------------------------------------------------------------------------------- 1 | /target/ 2 | jrebundler-core.iml 3 | -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/core/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/core/pom.xml -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/core/src/assembly/dist.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/core/src/assembly/dist.xml -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/core/src/main/java/org/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/core/src/main/java/org/.classpath -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/core/src/main/java/org/.gitignore: -------------------------------------------------------------------------------- 1 | /bin/ 2 | -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/core/src/main/java/org/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/core/src/main/java/org/.project -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/core/src/main/java/org/rbornat/jrebundler/DocumentType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/core/src/main/java/org/rbornat/jrebundler/DocumentType.java -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/core/src/main/java/org/rbornat/jrebundler/HelpBook.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/core/src/main/java/org/rbornat/jrebundler/HelpBook.java -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/core/src/main/java/org/rbornat/jrebundler/JREBundler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/core/src/main/java/org/rbornat/jrebundler/JREBundler.java -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/core/src/main/java/org/rbornat/jrebundler/JavaProperty.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/core/src/main/java/org/rbornat/jrebundler/JavaProperty.java -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/core/src/main/java/org/rbornat/jrebundler/Service.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/core/src/main/java/org/rbornat/jrebundler/Service.java -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/docs/DiskImage.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/docs/DiskImage.html -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/docs/DocumentType.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/docs/DocumentType.html -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/docs/Examples.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/docs/Examples.html -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/docs/HelpBook.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/docs/HelpBook.html -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/docs/Service.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/docs/Service.html -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/docs/StubFile.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/docs/StubFile.html -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/docs/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/docs/index.html -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/docs/styles.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/docs/styles.css -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/examples/.gitignore: -------------------------------------------------------------------------------- 1 | /target/ 2 | jrebundler-examples.iml 3 | -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/examples/HelpBook/English/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/examples/HelpBook/English/index.html -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/examples/HelpBook/English/topics.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/examples/HelpBook/English/topics.html -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/examples/HelpBook/German/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/examples/HelpBook/German/index.html -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/examples/HelpBook/German/topics.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/examples/HelpBook/German/topics.html -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/examples/HelpBook/common/images/HelloWorld-16x16.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/examples/HelpBook/common/images/HelloWorld-16x16.png -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/examples/HelpBook/common/images/HelloWorld.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/examples/HelpBook/common/images/HelloWorld.png -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/examples/HelpBook/common/styles/styles.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/examples/HelpBook/common/styles/styles.css -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/examples/build.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/examples/build.xml -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/examples/icons/Hello Document.icns: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/examples/icons/Hello Document.icns -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/examples/icons/Hello World.icns: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/examples/icons/Hello World.icns -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/examples/icons/html.icns: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/examples/icons/html.icns -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/examples/icons/txt.icns: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/examples/icons/txt.icns -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/examples/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/examples/pom.xml -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/examples/src/main/obj-c/HelpBookJNI.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/examples/src/main/obj-c/HelpBookJNI.m -------------------------------------------------------------------------------- /distrib/MacOSX/JREBundler/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/JREBundler/pom.xml -------------------------------------------------------------------------------- /distrib/MacOSX/Jape.icns: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/Jape.icns -------------------------------------------------------------------------------- /distrib/MacOSX/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/Makefile -------------------------------------------------------------------------------- /distrib/MacOSX/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/README.md -------------------------------------------------------------------------------- /distrib/MacOSX/README_BUILD_MACOSX_JAPE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/README_BUILD_MACOSX_JAPE.md -------------------------------------------------------------------------------- /distrib/MacOSX/build.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/build.xml -------------------------------------------------------------------------------- /distrib/MacOSX/licences/Jape/LICENCE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/licences/Jape/LICENCE.txt -------------------------------------------------------------------------------- /distrib/MacOSX/licences/jarbundler/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/licences/jarbundler/LICENSE.txt -------------------------------------------------------------------------------- /distrib/MacOSX/licences/universalJavaApplicationStub/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/licences/universalJavaApplicationStub/LICENSE -------------------------------------------------------------------------------- /distrib/MacOSX/macdistrib.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/macdistrib.sh -------------------------------------------------------------------------------- /distrib/MacOSX/macunsign: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/macunsign -------------------------------------------------------------------------------- /distrib/MacOSX/makedmg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/makedmg -------------------------------------------------------------------------------- /distrib/MacOSX/newicon1024.mdp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/newicon1024.mdp -------------------------------------------------------------------------------- /distrib/MacOSX/newicon1024.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/newicon1024.png -------------------------------------------------------------------------------- /distrib/MacOSX/newicon128.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/newicon128.png -------------------------------------------------------------------------------- /distrib/MacOSX/newicon16.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/newicon16.png -------------------------------------------------------------------------------- /distrib/MacOSX/newicon256.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/newicon256.png -------------------------------------------------------------------------------- /distrib/MacOSX/newicon32.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/newicon32.png -------------------------------------------------------------------------------- /distrib/MacOSX/newicon512.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/newicon512.png -------------------------------------------------------------------------------- /distrib/MacOSX/newicon64.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/newicon64.png -------------------------------------------------------------------------------- /distrib/MacOSX/universalJavaApplicationStub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/MacOSX/universalJavaApplicationStub -------------------------------------------------------------------------------- /distrib/RELEASENOTES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/RELEASENOTES -------------------------------------------------------------------------------- /distrib/WORKLOG.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/WORKLOG.txt -------------------------------------------------------------------------------- /distrib/camlengine/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/.depend -------------------------------------------------------------------------------- /distrib/camlengine/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/.gitignore -------------------------------------------------------------------------------- /distrib/camlengine/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/Makefile -------------------------------------------------------------------------------- /distrib/camlengine/ToDo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/ToDo -------------------------------------------------------------------------------- /distrib/camlengine/_tags: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /distrib/camlengine/absprooftree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/absprooftree.ml -------------------------------------------------------------------------------- /distrib/camlengine/absprooftree.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/absprooftree.mli -------------------------------------------------------------------------------- /distrib/camlengine/alert.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/alert.ml -------------------------------------------------------------------------------- /distrib/camlengine/alert.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/alert.mli -------------------------------------------------------------------------------- /distrib/camlengine/answer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/answer.ml -------------------------------------------------------------------------------- /distrib/camlengine/answer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/answer.mli -------------------------------------------------------------------------------- /distrib/camlengine/applyrule.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/applyrule.ml -------------------------------------------------------------------------------- /distrib/camlengine/applyrule.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/applyrule.mli -------------------------------------------------------------------------------- /distrib/camlengine/binding.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/binding.ml -------------------------------------------------------------------------------- /distrib/camlengine/binding.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/binding.mli -------------------------------------------------------------------------------- /distrib/camlengine/box.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/box.ml -------------------------------------------------------------------------------- /distrib/camlengine/box.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/box.mli -------------------------------------------------------------------------------- /distrib/camlengine/boxdraw.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/boxdraw.ml -------------------------------------------------------------------------------- /distrib/camlengine/boxdraw.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/boxdraw.mli -------------------------------------------------------------------------------- /distrib/camlengine/button.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/button.ml -------------------------------------------------------------------------------- /distrib/camlengine/button.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/button.mli -------------------------------------------------------------------------------- /distrib/camlengine/cache.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/cache.ml -------------------------------------------------------------------------------- /distrib/camlengine/cache.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/cache.mli -------------------------------------------------------------------------------- /distrib/camlengine/cxtexterior.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/cxtexterior.ml -------------------------------------------------------------------------------- /distrib/camlengine/cxtexterior.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/cxtexterior.mli -------------------------------------------------------------------------------- /distrib/camlengine/cxtfuns.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/cxtfuns.ml -------------------------------------------------------------------------------- /distrib/camlengine/cxtfuns.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/cxtfuns.mli -------------------------------------------------------------------------------- /distrib/camlengine/cxtprovisos.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/cxtprovisos.ml -------------------------------------------------------------------------------- /distrib/camlengine/cxtprovisos.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/cxtprovisos.mli -------------------------------------------------------------------------------- /distrib/camlengine/cxtstring.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/cxtstring.ml -------------------------------------------------------------------------------- /distrib/camlengine/cxtstring.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/cxtstring.mli -------------------------------------------------------------------------------- /distrib/camlengine/cxttype.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/cxttype.ml -------------------------------------------------------------------------------- /distrib/camlengine/dialogue.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/dialogue.ml -------------------------------------------------------------------------------- /distrib/camlengine/dialogue.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/dialogue.mli -------------------------------------------------------------------------------- /distrib/camlengine/displayclass.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/displayclass.ml -------------------------------------------------------------------------------- /distrib/camlengine/displayclass.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/displayclass.mli -------------------------------------------------------------------------------- /distrib/camlengine/displayfont.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/displayfont.ml -------------------------------------------------------------------------------- /distrib/camlengine/displayfont.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/displayfont.mli -------------------------------------------------------------------------------- /distrib/camlengine/displaystate.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/displaystate.ml -------------------------------------------------------------------------------- /distrib/camlengine/displaystyle.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/displaystyle.ml -------------------------------------------------------------------------------- /distrib/camlengine/disproof.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/disproof.ml -------------------------------------------------------------------------------- /distrib/camlengine/disproof.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/disproof.mli -------------------------------------------------------------------------------- /distrib/camlengine/doubleclick.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/doubleclick.ml -------------------------------------------------------------------------------- /distrib/camlengine/doubleclick.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/doubleclick.mli -------------------------------------------------------------------------------- /distrib/camlengine/draw.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/draw.ml -------------------------------------------------------------------------------- /distrib/camlengine/draw.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/draw.mli -------------------------------------------------------------------------------- /distrib/camlengine/env.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/env.ml -------------------------------------------------------------------------------- /distrib/camlengine/env.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/env.mli -------------------------------------------------------------------------------- /distrib/camlengine/facts.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/facts.ml -------------------------------------------------------------------------------- /distrib/camlengine/facts.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/facts.mli -------------------------------------------------------------------------------- /distrib/camlengine/fix.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/fix.ml -------------------------------------------------------------------------------- /distrib/camlengine/fix.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/fix.mli -------------------------------------------------------------------------------- /distrib/camlengine/forcedef.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/forcedef.ml -------------------------------------------------------------------------------- /distrib/camlengine/forcedef.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/forcedef.mli -------------------------------------------------------------------------------- /distrib/camlengine/hit.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/hit.ml -------------------------------------------------------------------------------- /distrib/camlengine/hit.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/hit.mli -------------------------------------------------------------------------------- /distrib/camlengine/idclass.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/idclass.ml -------------------------------------------------------------------------------- /distrib/camlengine/idclass.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/idclass.mli -------------------------------------------------------------------------------- /distrib/camlengine/idclassfuns.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/idclassfuns.ml -------------------------------------------------------------------------------- /distrib/camlengine/idclassfuns.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/idclassfuns.mli -------------------------------------------------------------------------------- /distrib/camlengine/interaction.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/interaction.ml -------------------------------------------------------------------------------- /distrib/camlengine/interaction.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/interaction.mli -------------------------------------------------------------------------------- /distrib/camlengine/invisibles.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/invisibles.ml -------------------------------------------------------------------------------- /distrib/camlengine/invisibles.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/invisibles.mli -------------------------------------------------------------------------------- /distrib/camlengine/japeenv.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/japeenv.ml -------------------------------------------------------------------------------- /distrib/camlengine/japeenv.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/japeenv.mli -------------------------------------------------------------------------------- /distrib/camlengine/japeserver.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/japeserver.ml -------------------------------------------------------------------------------- /distrib/camlengine/japeserver.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/japeserver.mli -------------------------------------------------------------------------------- /distrib/camlengine/lexparse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/lexparse.ml -------------------------------------------------------------------------------- /distrib/camlengine/listfuns.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/listfuns.ml -------------------------------------------------------------------------------- /distrib/camlengine/listfuns.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/listfuns.mli -------------------------------------------------------------------------------- /distrib/camlengine/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/main.ml -------------------------------------------------------------------------------- /distrib/camlengine/mappingfuns.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/mappingfuns.ml -------------------------------------------------------------------------------- /distrib/camlengine/mappingfuns.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/mappingfuns.mli -------------------------------------------------------------------------------- /distrib/camlengine/match.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/match.ml -------------------------------------------------------------------------------- /distrib/camlengine/match.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/match.mli -------------------------------------------------------------------------------- /distrib/camlengine/menu.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/menu.ml -------------------------------------------------------------------------------- /distrib/camlengine/menu.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/menu.mli -------------------------------------------------------------------------------- /distrib/camlengine/minwaste.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/minwaste.ml -------------------------------------------------------------------------------- /distrib/camlengine/minwaste.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/minwaste.mli -------------------------------------------------------------------------------- /distrib/camlengine/miscellaneous.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/miscellaneous.ml -------------------------------------------------------------------------------- /distrib/camlengine/miscellaneous.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/miscellaneous.mli -------------------------------------------------------------------------------- /distrib/camlengine/moresys.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/moresys.ml -------------------------------------------------------------------------------- /distrib/camlengine/moresys.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/moresys.mli -------------------------------------------------------------------------------- /distrib/camlengine/name.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/name.ml -------------------------------------------------------------------------------- /distrib/camlengine/name.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/name.mli -------------------------------------------------------------------------------- /distrib/camlengine/nametype.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/nametype.ml -------------------------------------------------------------------------------- /distrib/camlengine/optionfuns.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/optionfuns.ml -------------------------------------------------------------------------------- /distrib/camlengine/optionfuns.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/optionfuns.mli -------------------------------------------------------------------------------- /distrib/camlengine/oracle.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/oracle.ml -------------------------------------------------------------------------------- /distrib/camlengine/oracle.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/oracle.mli -------------------------------------------------------------------------------- /distrib/camlengine/panelkind.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/panelkind.ml -------------------------------------------------------------------------------- /distrib/camlengine/paragraph.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/paragraph.ml -------------------------------------------------------------------------------- /distrib/camlengine/paragraph.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/paragraph.mli -------------------------------------------------------------------------------- /distrib/camlengine/paragraphfuns.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/paragraphfuns.ml -------------------------------------------------------------------------------- /distrib/camlengine/paragraphfuns.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/paragraphfuns.mli -------------------------------------------------------------------------------- /distrib/camlengine/paraparam.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/paraparam.ml -------------------------------------------------------------------------------- /distrib/camlengine/paraparam.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/paraparam.mli -------------------------------------------------------------------------------- /distrib/camlengine/predicate.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/predicate.ml -------------------------------------------------------------------------------- /distrib/camlengine/predicate.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/predicate.mli -------------------------------------------------------------------------------- /distrib/camlengine/prestring.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/prestring.ml -------------------------------------------------------------------------------- /distrib/camlengine/prestring.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/prestring.mli -------------------------------------------------------------------------------- /distrib/camlengine/proofstage.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/proofstage.ml -------------------------------------------------------------------------------- /distrib/camlengine/proofstate.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/proofstate.ml -------------------------------------------------------------------------------- /distrib/camlengine/proofstate.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/proofstate.mli -------------------------------------------------------------------------------- /distrib/camlengine/proofstore.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/proofstore.ml -------------------------------------------------------------------------------- /distrib/camlengine/proofstore.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/proofstore.mli -------------------------------------------------------------------------------- /distrib/camlengine/prooftree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/prooftree.ml -------------------------------------------------------------------------------- /distrib/camlengine/proviso.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/proviso.ml -------------------------------------------------------------------------------- /distrib/camlengine/proviso.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/proviso.mli -------------------------------------------------------------------------------- /distrib/camlengine/provisofuns.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/provisofuns.ml -------------------------------------------------------------------------------- /distrib/camlengine/provisofuns.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/provisofuns.mli -------------------------------------------------------------------------------- /distrib/camlengine/provisotype.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/provisotype.ml -------------------------------------------------------------------------------- /distrib/camlengine/reason.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/reason.ml -------------------------------------------------------------------------------- /distrib/camlengine/reason.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/reason.mli -------------------------------------------------------------------------------- /distrib/camlengine/rew.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/rew.ml -------------------------------------------------------------------------------- /distrib/camlengine/rew.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/rew.mli -------------------------------------------------------------------------------- /distrib/camlengine/rewinf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/rewinf.ml -------------------------------------------------------------------------------- /distrib/camlengine/rewinf.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/rewinf.mli -------------------------------------------------------------------------------- /distrib/camlengine/rewrite.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/rewrite.ml -------------------------------------------------------------------------------- /distrib/camlengine/rewrite.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/rewrite.mli -------------------------------------------------------------------------------- /distrib/camlengine/runproof.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/runproof.ml -------------------------------------------------------------------------------- /distrib/camlengine/runproof.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/runproof.mli -------------------------------------------------------------------------------- /distrib/camlengine/screendraw.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/screendraw.ml -------------------------------------------------------------------------------- /distrib/camlengine/searchtree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/searchtree.ml -------------------------------------------------------------------------------- /distrib/camlengine/searchtree.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/searchtree.mli -------------------------------------------------------------------------------- /distrib/camlengine/selection.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/selection.ml -------------------------------------------------------------------------------- /distrib/camlengine/selection.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/selection.mli -------------------------------------------------------------------------------- /distrib/camlengine/seqdraw.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/seqdraw.ml -------------------------------------------------------------------------------- /distrib/camlengine/seqdraw.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/seqdraw.mli -------------------------------------------------------------------------------- /distrib/camlengine/sequent.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/sequent.ml -------------------------------------------------------------------------------- /distrib/camlengine/sequent.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/sequent.mli -------------------------------------------------------------------------------- /distrib/camlengine/sexpr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/sexpr.ml -------------------------------------------------------------------------------- /distrib/camlengine/sexpr.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/sexpr.mli -------------------------------------------------------------------------------- /distrib/camlengine/sml.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/sml.ml -------------------------------------------------------------------------------- /distrib/camlengine/sml.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/sml.mli -------------------------------------------------------------------------------- /distrib/camlengine/stringfuns.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/stringfuns.ml -------------------------------------------------------------------------------- /distrib/camlengine/stringfuns.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/stringfuns.mli -------------------------------------------------------------------------------- /distrib/camlengine/structurerule.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/structurerule.ml -------------------------------------------------------------------------------- /distrib/camlengine/structurerule.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/structurerule.mli -------------------------------------------------------------------------------- /distrib/camlengine/substmapfuns.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/substmapfuns.ml -------------------------------------------------------------------------------- /distrib/camlengine/substmapfuns.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/substmapfuns.mli -------------------------------------------------------------------------------- /distrib/camlengine/symbol.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/symbol.ml -------------------------------------------------------------------------------- /distrib/camlengine/symbol.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/symbol.mli -------------------------------------------------------------------------------- /distrib/camlengine/symboltype.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/symboltype.ml -------------------------------------------------------------------------------- /distrib/camlengine/tactic.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/tactic.ml -------------------------------------------------------------------------------- /distrib/camlengine/tactic.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/tactic.mli -------------------------------------------------------------------------------- /distrib/camlengine/tacticfuns.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/tacticfuns.ml -------------------------------------------------------------------------------- /distrib/camlengine/tacticfuns.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/tacticfuns.mli -------------------------------------------------------------------------------- /distrib/camlengine/tactictype.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/tactictype.ml -------------------------------------------------------------------------------- /distrib/camlengine/termfold.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/termfold.ml -------------------------------------------------------------------------------- /distrib/camlengine/termfold.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/termfold.mli -------------------------------------------------------------------------------- /distrib/camlengine/termfuns.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/termfuns.ml -------------------------------------------------------------------------------- /distrib/camlengine/termfuns.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/termfuns.mli -------------------------------------------------------------------------------- /distrib/camlengine/termparse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/termparse.ml -------------------------------------------------------------------------------- /distrib/camlengine/termparse.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/termparse.mli -------------------------------------------------------------------------------- /distrib/camlengine/termstore.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/termstore.ml -------------------------------------------------------------------------------- /distrib/camlengine/termstore.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/termstore.mli -------------------------------------------------------------------------------- /distrib/camlengine/termstring.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/termstring.ml -------------------------------------------------------------------------------- /distrib/camlengine/termstring.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/termstring.mli -------------------------------------------------------------------------------- /distrib/camlengine/termtype.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/termtype.ml -------------------------------------------------------------------------------- /distrib/camlengine/termtype.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/termtype.mli -------------------------------------------------------------------------------- /distrib/camlengine/text.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/text.ml -------------------------------------------------------------------------------- /distrib/camlengine/text.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/text.mli -------------------------------------------------------------------------------- /distrib/camlengine/thing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/thing.ml -------------------------------------------------------------------------------- /distrib/camlengine/thing.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/thing.mli -------------------------------------------------------------------------------- /distrib/camlengine/treedraw.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/treedraw.ml -------------------------------------------------------------------------------- /distrib/camlengine/treedraw.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/treedraw.mli -------------------------------------------------------------------------------- /distrib/camlengine/treeformat.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/treeformat.ml -------------------------------------------------------------------------------- /distrib/camlengine/treelayout.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/treelayout.ml -------------------------------------------------------------------------------- /distrib/camlengine/treelayout.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/treelayout.mli -------------------------------------------------------------------------------- /distrib/camlengine/uTF.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/uTF.ml -------------------------------------------------------------------------------- /distrib/camlengine/uTF.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/uTF.mli -------------------------------------------------------------------------------- /distrib/camlengine/unify.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/unify.ml -------------------------------------------------------------------------------- /distrib/camlengine/unify.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/unify.mli -------------------------------------------------------------------------------- /distrib/camlengine/usefile.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/usefile.ml -------------------------------------------------------------------------------- /distrib/camlengine/usefile.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/camlengine/usefile.mli -------------------------------------------------------------------------------- /distrib/docs/JapeProofWindow.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/docs/JapeProofWindow.png -------------------------------------------------------------------------------- /distrib/docs/JapeProofWindowLarger.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/docs/JapeProofWindowLarger.png -------------------------------------------------------------------------------- /distrib/docs/JapeProofWindowLargerProviso.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/docs/JapeProofWindowLargerProviso.png -------------------------------------------------------------------------------- /distrib/docs/JapeProofWindowTree.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/docs/JapeProofWindowTree.png -------------------------------------------------------------------------------- /distrib/docs/JapeProofWindowTreeSmaller.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/docs/JapeProofWindowTreeSmaller.png -------------------------------------------------------------------------------- /distrib/docs/coordinates and viewports.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/docs/coordinates and viewports.md -------------------------------------------------------------------------------- /distrib/docs/scrollarchitecture.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/docs/scrollarchitecture.png -------------------------------------------------------------------------------- /distrib/examples/Aristotle/.gitignore: -------------------------------------------------------------------------------- 1 | *.jp 2 | -------------------------------------------------------------------------------- /distrib/examples/Aristotle/Syllogisms appearance.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/Aristotle/Syllogisms appearance.j -------------------------------------------------------------------------------- /distrib/examples/Aristotle/Syllogisms rules.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/Aristotle/Syllogisms rules.j -------------------------------------------------------------------------------- /distrib/examples/Aristotle/in symbols/Syllogisms (Jan von Plato).jt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/Aristotle/in symbols/Syllogisms (Jan von Plato).jt -------------------------------------------------------------------------------- /distrib/examples/Aristotle/in symbols/Syllogisms (Roy Dyckhoff).jt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/Aristotle/in symbols/Syllogisms (Roy Dyckhoff).jt -------------------------------------------------------------------------------- /distrib/examples/Aristotle/in symbols/Syllogisms conjectures.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/Aristotle/in symbols/Syllogisms conjectures.j -------------------------------------------------------------------------------- /distrib/examples/Aristotle/in symbols/Syllogisms rules.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/Aristotle/in symbols/Syllogisms rules.j -------------------------------------------------------------------------------- /distrib/examples/Aristotle/in symbols/Syllogisms syntax.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/Aristotle/in symbols/Syllogisms syntax.j -------------------------------------------------------------------------------- /distrib/examples/Aristotle/in symbols/von Plato.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/Aristotle/in symbols/von Plato.j -------------------------------------------------------------------------------- /distrib/examples/Aristotle/in words/Syllogisms (Jan von Plato).jt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/Aristotle/in words/Syllogisms (Jan von Plato).jt -------------------------------------------------------------------------------- /distrib/examples/Aristotle/in words/Syllogisms (Roy Dyckhoff).jt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/Aristotle/in words/Syllogisms (Roy Dyckhoff).jt -------------------------------------------------------------------------------- /distrib/examples/Aristotle/in words/Syllogisms conjectures.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/Aristotle/in words/Syllogisms conjectures.j -------------------------------------------------------------------------------- /distrib/examples/Aristotle/in words/Syllogisms syntax.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/Aristotle/in words/Syllogisms syntax.j -------------------------------------------------------------------------------- /distrib/examples/Aristotle/in words/von Plato.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/Aristotle/in words/von Plato.j -------------------------------------------------------------------------------- /distrib/examples/BAN/BAN.jt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/BAN/BAN.jt -------------------------------------------------------------------------------- /distrib/examples/BAN/BAN_ASCII.jt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/BAN/BAN_ASCII.jt -------------------------------------------------------------------------------- /distrib/examples/BAN/BAN_ASCII_menus.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/BAN/BAN_ASCII_menus.j -------------------------------------------------------------------------------- /distrib/examples/BAN/BAN_ASCII_problems.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/BAN/BAN_ASCII_problems.j -------------------------------------------------------------------------------- /distrib/examples/BAN/BAN_ASCII_rules.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/BAN/BAN_ASCII_rules.j -------------------------------------------------------------------------------- /distrib/examples/BAN/BAN_ASCII_syntax.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/BAN/BAN_ASCII_syntax.j -------------------------------------------------------------------------------- /distrib/examples/BAN/BAN_menus.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/BAN/BAN_menus.j -------------------------------------------------------------------------------- /distrib/examples/BAN/BAN_problems.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/BAN/BAN_problems.j -------------------------------------------------------------------------------- /distrib/examples/BAN/BAN_rules.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/BAN/BAN_rules.j -------------------------------------------------------------------------------- /distrib/examples/BAN/BAN_syntax.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/BAN/BAN_syntax.j -------------------------------------------------------------------------------- /distrib/examples/BAN/README_BAN.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/BAN/README_BAN.html -------------------------------------------------------------------------------- /distrib/examples/Barwise_n_Etchemendy/BnE-Fprime.jt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/Barwise_n_Etchemendy/BnE-Fprime.jt -------------------------------------------------------------------------------- /distrib/examples/Barwise_n_Etchemendy/BnE-Fprime_LF.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/Barwise_n_Etchemendy/BnE-Fprime_LF.j -------------------------------------------------------------------------------- /distrib/examples/Barwise_n_Etchemendy/BnE-Fprime_hits.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/Barwise_n_Etchemendy/BnE-Fprime_hits.j -------------------------------------------------------------------------------- /distrib/examples/Barwise_n_Etchemendy/BnE-Fprime_menus.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/Barwise_n_Etchemendy/BnE-Fprime_menus.j -------------------------------------------------------------------------------- /distrib/examples/Barwise_n_Etchemendy/BnE-Fprime_rules.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/Barwise_n_Etchemendy/BnE-Fprime_rules.j -------------------------------------------------------------------------------- /distrib/examples/Barwise_n_Etchemendy/BnE-Fprime_syntax.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/Barwise_n_Etchemendy/BnE-Fprime_syntax.j -------------------------------------------------------------------------------- /distrib/examples/Hindley_Milner/H-Meval.jt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/Hindley_Milner/H-Meval.jt -------------------------------------------------------------------------------- /distrib/examples/Hindley_Milner/H-Meval_hits.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/Hindley_Milner/H-Meval_hits.j -------------------------------------------------------------------------------- /distrib/examples/Hindley_Milner/H-Meval_problems.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/Hindley_Milner/H-Meval_problems.j -------------------------------------------------------------------------------- /distrib/examples/Hindley_Milner/H-Meval_rules.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/Hindley_Milner/H-Meval_rules.j -------------------------------------------------------------------------------- /distrib/examples/Hindley_Milner/Mono.jt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/Hindley_Milner/Mono.jt -------------------------------------------------------------------------------- /distrib/examples/IFPFRESH/IFP.jt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/IFPFRESH/IFP.jt -------------------------------------------------------------------------------- /distrib/examples/IFPFRESH/IFP_conjectures.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/IFPFRESH/IFP_conjectures.j -------------------------------------------------------------------------------- /distrib/examples/IFPFRESH/IFP_derived.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/IFPFRESH/IFP_derived.j -------------------------------------------------------------------------------- /distrib/examples/IFPFRESH/IFP_hits.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/IFPFRESH/IFP_hits.j -------------------------------------------------------------------------------- /distrib/examples/IFPFRESH/IFP_intro_conjectures.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/IFPFRESH/IFP_intro_conjectures.j -------------------------------------------------------------------------------- /distrib/examples/IFPFRESH/IFP_menus.j: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /distrib/examples/IFPFRESH/IFP_rules.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/IFPFRESH/IFP_rules.j -------------------------------------------------------------------------------- /distrib/examples/IFPFRESH/IFP_style_menus.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/IFPFRESH/IFP_style_menus.j -------------------------------------------------------------------------------- /distrib/examples/IFPFRESH/IFP_syntax.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/IFPFRESH/IFP_syntax.j -------------------------------------------------------------------------------- /distrib/examples/IFPFRESH/IFP_tactics.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/IFPFRESH/IFP_tactics.j -------------------------------------------------------------------------------- /distrib/examples/IFPFRESH/LISTING.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/IFPFRESH/LISTING.pdf -------------------------------------------------------------------------------- /distrib/examples/IFPFRESH/ifp2c.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/IFPFRESH/ifp2c.j -------------------------------------------------------------------------------- /distrib/examples/IFPFRESH/quantifier-proofs.jp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/IFPFRESH/quantifier-proofs.jp -------------------------------------------------------------------------------- /distrib/examples/ItL_QMWpre2000/ItL.jt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/ItL_QMWpre2000/ItL.jt -------------------------------------------------------------------------------- /distrib/examples/ItL_QMWpre2000/ItL_derivedrules.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/ItL_QMWpre2000/ItL_derivedrules.j -------------------------------------------------------------------------------- /distrib/examples/ItL_QMWpre2000/ItL_expcontra.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/ItL_QMWpre2000/ItL_expcontra.j -------------------------------------------------------------------------------- /distrib/examples/ItL_QMWpre2000/ItL_hits.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/ItL_QMWpre2000/ItL_hits.j -------------------------------------------------------------------------------- /distrib/examples/ItL_QMWpre2000/ItL_menus.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/ItL_QMWpre2000/ItL_menus.j -------------------------------------------------------------------------------- /distrib/examples/ItL_QMWpre2000/ItL_problems.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/ItL_QMWpre2000/ItL_problems.j -------------------------------------------------------------------------------- /distrib/examples/ItL_QMWpre2000/ItL_rules.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/ItL_QMWpre2000/ItL_rules.j -------------------------------------------------------------------------------- /distrib/examples/ItL_QMWpre2000/ItL_syntax.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/ItL_QMWpre2000/ItL_syntax.j -------------------------------------------------------------------------------- /distrib/examples/Lax_logic/LAX_IMCS.jt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/Lax_logic/LAX_IMCS.jt -------------------------------------------------------------------------------- /distrib/examples/Lax_logic/LAX_NDpt.jt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/Lax_logic/LAX_NDpt.jt -------------------------------------------------------------------------------- /distrib/examples/backwardstep_technology/backwardstep.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/backwardstep_technology/backwardstep.j -------------------------------------------------------------------------------- /distrib/examples/explain_technology/explain_basics.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/explain_technology/explain_basics.j -------------------------------------------------------------------------------- /distrib/examples/explain_technology/explain_selections.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/explain_technology/explain_selections.j -------------------------------------------------------------------------------- /distrib/examples/explain_technology/explain_words.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/explain_technology/explain_words.j -------------------------------------------------------------------------------- /distrib/examples/forwardstep_technology/forwardstep.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/forwardstep_technology/forwardstep.j -------------------------------------------------------------------------------- /distrib/examples/functional_programming/equality_menus.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/functional_programming/equality_menus.j -------------------------------------------------------------------------------- /distrib/examples/functional_programming/equality_rules.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/functional_programming/equality_rules.j -------------------------------------------------------------------------------- /distrib/examples/functional_programming/functions.jt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/functional_programming/functions.jt -------------------------------------------------------------------------------- /distrib/examples/functional_programming/functions_menus.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/functional_programming/functions_menus.j -------------------------------------------------------------------------------- /distrib/examples/functional_programming/functions_rules.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/functional_programming/functions_rules.j -------------------------------------------------------------------------------- /distrib/examples/functional_programming/functions_transitivity.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/functional_programming/functions_transitivity.j -------------------------------------------------------------------------------- /distrib/examples/functional_programming/trfunctions.jt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/functional_programming/trfunctions.jt -------------------------------------------------------------------------------- /distrib/examples/hoare_logic/hoare.jt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/hoare_logic/hoare.jt -------------------------------------------------------------------------------- /distrib/examples/hoare_logic/hoare_arith.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/hoare_logic/hoare_arith.j -------------------------------------------------------------------------------- /distrib/examples/hoare_logic/hoare_menus.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/hoare_logic/hoare_menus.j -------------------------------------------------------------------------------- /distrib/examples/hoare_logic/hoare_problems.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/hoare_logic/hoare_problems.j -------------------------------------------------------------------------------- /distrib/examples/hoare_logic/hoare_rules.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/hoare_logic/hoare_rules.j -------------------------------------------------------------------------------- /distrib/examples/hoare_logic/hoare_syntax.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/hoare_logic/hoare_syntax.j -------------------------------------------------------------------------------- /distrib/examples/jnj/jnj.jt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/jnj/jnj.jt -------------------------------------------------------------------------------- /distrib/examples/modal_logic/modal.jt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/modal_logic/modal.jt -------------------------------------------------------------------------------- /distrib/examples/natural_deduction/I2L.jt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/natural_deduction/I2L.jt -------------------------------------------------------------------------------- /distrib/examples/natural_deduction/I2L_derivedrules.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/natural_deduction/I2L_derivedrules.j -------------------------------------------------------------------------------- /distrib/examples/natural_deduction/I2L_disproof.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/natural_deduction/I2L_disproof.j -------------------------------------------------------------------------------- /distrib/examples/natural_deduction/I2L_expcontra.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/natural_deduction/I2L_expcontra.j -------------------------------------------------------------------------------- /distrib/examples/natural_deduction/I2L_hits.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/natural_deduction/I2L_hits.j -------------------------------------------------------------------------------- /distrib/examples/natural_deduction/I2L_iff.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/natural_deduction/I2L_iff.j -------------------------------------------------------------------------------- /distrib/examples/natural_deduction/I2L_integer_quantifiers.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/natural_deduction/I2L_integer_quantifiers.j -------------------------------------------------------------------------------- /distrib/examples/natural_deduction/I2L_menus.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/natural_deduction/I2L_menus.j -------------------------------------------------------------------------------- /distrib/examples/natural_deduction/I2L_problems.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/natural_deduction/I2L_problems.j -------------------------------------------------------------------------------- /distrib/examples/natural_deduction/I2L_rules.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/natural_deduction/I2L_rules.j -------------------------------------------------------------------------------- /distrib/examples/natural_deduction/I2L_settings.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/natural_deduction/I2L_settings.j -------------------------------------------------------------------------------- /distrib/examples/natural_deduction/I2L_syntax.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/natural_deduction/I2L_syntax.j -------------------------------------------------------------------------------- /distrib/examples/natural_deduction/singlepremise_I2L.jt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/natural_deduction/singlepremise_I2L.jt -------------------------------------------------------------------------------- /distrib/examples/operational_semantics/ipl.jt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/operational_semantics/ipl.jt -------------------------------------------------------------------------------- /distrib/examples/operational_semantics/lambda.jt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/operational_semantics/lambda.jt -------------------------------------------------------------------------------- /distrib/examples/operational_semantics/mapping.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/operational_semantics/mapping.j -------------------------------------------------------------------------------- /distrib/examples/rewrite_technology/rewrite_menus.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/rewrite_technology/rewrite_menus.j -------------------------------------------------------------------------------- /distrib/examples/rewrite_technology/rewrite_rules.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/rewrite_technology/rewrite_rules.j -------------------------------------------------------------------------------- /distrib/examples/rewrite_technology/rewrite_syntax.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/rewrite_technology/rewrite_syntax.j -------------------------------------------------------------------------------- /distrib/examples/sequent_calculus/IMCS.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/sequent_calculus/IMCS.j -------------------------------------------------------------------------------- /distrib/examples/sequent_calculus/MCS.jt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/sequent_calculus/MCS.jt -------------------------------------------------------------------------------- /distrib/examples/sequent_calculus/MCS_LF.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/sequent_calculus/MCS_LF.j -------------------------------------------------------------------------------- /distrib/examples/sequent_calculus/MCS_rules.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/sequent_calculus/MCS_rules.j -------------------------------------------------------------------------------- /distrib/examples/sequent_calculus/MMCS.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/sequent_calculus/MMCS.j -------------------------------------------------------------------------------- /distrib/examples/sequent_calculus/SCS.jt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/sequent_calculus/SCS.jt -------------------------------------------------------------------------------- /distrib/examples/sequent_calculus/SCS_LF.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/sequent_calculus/SCS_LF.j -------------------------------------------------------------------------------- /distrib/examples/sequent_calculus/SCS_rules.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/sequent_calculus/SCS_rules.j -------------------------------------------------------------------------------- /distrib/examples/sequent_calculus/sequent_problems.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/sequent_calculus/sequent_problems.j -------------------------------------------------------------------------------- /distrib/examples/sequent_calculus/sequent_scoping.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/sequent_calculus/sequent_scoping.j -------------------------------------------------------------------------------- /distrib/examples/sequent_calculus/sequent_syntax.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/sequent_calculus/sequent_syntax.j -------------------------------------------------------------------------------- /distrib/examples/sets/set.jt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/sets/set.jt -------------------------------------------------------------------------------- /distrib/examples/sets/set_LF.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/sets/set_LF.j -------------------------------------------------------------------------------- /distrib/examples/sets/set_hits.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/sets/set_hits.j -------------------------------------------------------------------------------- /distrib/examples/sets/set_menus.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/sets/set_menus.j -------------------------------------------------------------------------------- /distrib/examples/sets/set_problems.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/sets/set_problems.j -------------------------------------------------------------------------------- /distrib/examples/sets/set_rules.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/sets/set_rules.j -------------------------------------------------------------------------------- /distrib/examples/sets/set_russell.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/sets/set_russell.j -------------------------------------------------------------------------------- /distrib/examples/sets/set_syntax.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/sets/set_syntax.j -------------------------------------------------------------------------------- /distrib/examples/useful_buttons/applyconjectures in Edit menu.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/useful_buttons/applyconjectures in Edit menu.j -------------------------------------------------------------------------------- /distrib/examples/useful_buttons/autoselect in Edit menu.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/useful_buttons/autoselect in Edit menu.j -------------------------------------------------------------------------------- /distrib/examples/useful_buttons/debug file and settings.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/useful_buttons/debug file and settings.j -------------------------------------------------------------------------------- /distrib/examples/useful_buttons/displaystyle in Edit menu.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/useful_buttons/displaystyle in Edit menu.j -------------------------------------------------------------------------------- /distrib/examples/useful_buttons/profiling in Edit menu.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/examples/useful_buttons/profiling in Edit menu.j -------------------------------------------------------------------------------- /distrib/examples/useful_buttons/tryresolution in Edit menu.j: -------------------------------------------------------------------------------- 1 | /* $Id$ */ 2 | 3 | MENU Edit IS 4 | CHECKBOX tryresolution "Cut with theorems" 5 | END 6 | -------------------------------------------------------------------------------- /distrib/iconset/icon_128x128.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/iconset/icon_128x128.png -------------------------------------------------------------------------------- /distrib/iconset/icon_128x128@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/iconset/icon_128x128@2x.png -------------------------------------------------------------------------------- /distrib/iconset/icon_16x16.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/iconset/icon_16x16.png -------------------------------------------------------------------------------- /distrib/iconset/icon_16x16@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/iconset/icon_16x16@2x.png -------------------------------------------------------------------------------- /distrib/iconset/icon_256x256.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/iconset/icon_256x256.png -------------------------------------------------------------------------------- /distrib/iconset/icon_256x256@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/iconset/icon_256x256@2x.png -------------------------------------------------------------------------------- /distrib/iconset/icon_32x32.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/iconset/icon_32x32.png -------------------------------------------------------------------------------- /distrib/iconset/icon_32x32@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/iconset/icon_32x32@2x.png -------------------------------------------------------------------------------- /distrib/iconset/icon_512x512.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/iconset/icon_512x512.png -------------------------------------------------------------------------------- /distrib/iconset/icon_512x512@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/iconset/icon_512x512@2x.png -------------------------------------------------------------------------------- /distrib/java_GUI/.gitignore: -------------------------------------------------------------------------------- 1 | .classpath 2 | .project 3 | build 4 | -------------------------------------------------------------------------------- /distrib/java_GUI/Pics/japeicon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/Pics/japeicon.png -------------------------------------------------------------------------------- /distrib/java_GUI/Pics/japelogo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/Pics/japelogo.png -------------------------------------------------------------------------------- /distrib/java_GUI/Pics/wastebin_disabled.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/Pics/wastebin_disabled.jpg -------------------------------------------------------------------------------- /distrib/java_GUI/Pics/wastebin_enabled.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/Pics/wastebin_enabled.jpg -------------------------------------------------------------------------------- /distrib/java_GUI/Pics/wastebin_selected.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/Pics/wastebin_selected.jpg -------------------------------------------------------------------------------- /distrib/java_GUI/PrintAllProperties.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/PrintAllProperties.java -------------------------------------------------------------------------------- /distrib/java_GUI/ToDo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/ToDo -------------------------------------------------------------------------------- /distrib/java_GUI/build.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/build.xml -------------------------------------------------------------------------------- /distrib/java_GUI/src/OSX/uk/org/jape/LocalSettings.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/OSX/uk/org/jape/LocalSettings.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/.gitignore: -------------------------------------------------------------------------------- 1 | .classpath 2 | .project 3 | Version.java 4 | -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/AboutBox.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/AboutBox.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/Alert.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/Alert.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/AnchoredScrollPane.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/AnchoredScrollPane.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/AnnotatedTextComponent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/AnnotatedTextComponent.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/ButtonPane.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/ButtonPane.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/ChoiceDialog.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/ChoiceDialog.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/CircleItem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/CircleItem.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/CircleSelection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/CircleSelection.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/ContainerWithOrigin.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/ContainerWithOrigin.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/ControlWindow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/ControlWindow.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/DebugConstants.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/DebugConstants.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/DebugVars.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/DebugVars.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/DirectedFormulaSelection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/DirectedFormulaSelection.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/Dispatcher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/Dispatcher.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/DisplayItem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/DisplayItem.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/DisproofCanvas.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/DisproofCanvas.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/DisproofPane.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/DisproofPane.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/DragComponent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/DragComponent.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/DragImage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/DragImage.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/DragIndicator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/DragIndicator.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/DragLine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/DragLine.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/DragWorldLine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/DragWorldLine.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/EmphasisableItem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/EmphasisableItem.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/Engine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/Engine.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/Export.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/Export.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/ExportPic.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/ExportPic.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/FileChooser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/FileChooser.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/FilePrefs.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/FilePrefs.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/Flyback.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/Flyback.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/FormulaTarget.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/FormulaTarget.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/Images.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/Images.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/Jape.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/Jape.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/JapeCanvas.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/JapeCanvas.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/JapeFileFilter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/JapeFileFilter.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/JapeFont.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/JapeFont.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/JapeMenu.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/JapeMenu.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/JapeMouseAdapter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/JapeMouseAdapter.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/JapeMouseListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/JapeMouseListener.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/JapeMouseTextAdapter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/JapeMouseTextAdapter.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/JapePrefs.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/JapePrefs.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/JapeUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/JapeUtils.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/JapeWindow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/JapeWindow.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/LabelTarget.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/LabelTarget.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/LemmaDialog.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/LemmaDialog.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/LineComponent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/LineComponent.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/LineItem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/LineItem.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/LineTarget.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/LineTarget.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/Logger.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/Logger.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/MenuHolder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/MenuHolder.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/MinWaste.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/MinWaste.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/MiscellaneousConstants.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/MiscellaneousConstants.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/OutlineItem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/OutlineItem.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/PanelWindowData.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/PanelWindowData.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/PosIntHashMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/PosIntHashMap.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/PreferencesDialog.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/PreferencesDialog.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/PrintProof.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/PrintProof.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/ProofCanvas.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/ProofCanvas.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/ProofWindow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/ProofWindow.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/ProtocolConstants.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/ProtocolConstants.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/ProtocolError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/ProtocolError.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/ProvisoCanvas.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/ProvisoCanvas.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/RectItem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/RectItem.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/RectSelection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/RectSelection.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/RegisteredDrag.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/RegisteredDrag.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/Reply.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/Reply.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/SelectableItem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/SelectableItem.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/SelectableProofItem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/SelectableProofItem.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/SelectionConstants.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/SelectionConstants.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/SelectionIndicator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/SelectionIndicator.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/SurrogateWindow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/SurrogateWindow.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/TextComponent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/TextComponent.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/TextDialog.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/TextDialog.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/TextDimension.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/TextDimension.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/TextItem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/TextItem.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/TextSelectableItem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/TextSelectableItem.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/Tile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/Tile.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/TileTarget.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/TileTarget.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/WasteBin.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/WasteBin.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/WorldCanvas.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/WorldCanvas.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/WorldConnector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/WorldConnector.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/WorldItem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/WorldItem.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/WorldLabel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/WorldLabel.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/WorldSelection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/WorldSelection.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/base/uk/org/jape/WorldTarget.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/base/uk/org/jape/WorldTarget.java -------------------------------------------------------------------------------- /distrib/java_GUI/src/module/uk.org.jape/.gitignore: -------------------------------------------------------------------------------- 1 | module-info.java 2 | -------------------------------------------------------------------------------- /distrib/java_GUI/src/standard/uk/org/jape/LocalSettings.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/java_GUI/src/standard/uk/org/jape/LocalSettings.java -------------------------------------------------------------------------------- /distrib/jedit_resources/JAPELibrary.bsh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/jedit_resources/JAPELibrary.bsh -------------------------------------------------------------------------------- /distrib/jedit_resources/JAPETaskBar.bsh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/jedit_resources/JAPETaskBar.bsh -------------------------------------------------------------------------------- /distrib/jedit_resources/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/jedit_resources/README -------------------------------------------------------------------------------- /distrib/oracles/Hoare_oracle/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/oracles/Hoare_oracle/.gitignore -------------------------------------------------------------------------------- /distrib/oracles/Hoare_oracle/hoarelexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/oracles/Hoare_oracle/hoarelexer.mll -------------------------------------------------------------------------------- /distrib/oracles/Hoare_oracle/hoareoracle.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/oracles/Hoare_oracle/hoareoracle.ml -------------------------------------------------------------------------------- /distrib/oracles/Hoare_oracle/hoareparser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/oracles/Hoare_oracle/hoareparser.mly -------------------------------------------------------------------------------- /distrib/utf8_encoder/.gitignore: -------------------------------------------------------------------------------- 1 | *.class 2 | *.jar 3 | MANIFEST 4 | -------------------------------------------------------------------------------- /distrib/utf8_encoder/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/utf8_encoder/Makefile -------------------------------------------------------------------------------- /distrib/utf8_encoder/README_encoder.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/utf8_encoder/README_encoder.txt -------------------------------------------------------------------------------- /distrib/utf8_encoder/encoder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RBornat/jape/HEAD/distrib/utf8_encoder/encoder.java --------------------------------------------------------------------------------