Download JAR files tagged by latex with all dependencies
qedeq_kernel from group org.qedeq.kernel (version 0.04.07)
In the tradition of Hilbert's program the project creates a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet.
0 downloads
Artifact qedeq_kernel
Group org.qedeq.kernel
Version 0.04.07
Last update 24. May 2013
Organization not specified
URL http://qedeq.org
License The Apache Software License, Version 2.0
Dependencies amount 5
Dependencies commons-logging, commons-httpclient, commons-codec, commons-lang, commons-io,
There are maybe transitive dependencies!
Group org.qedeq.kernel
Version 0.04.07
Last update 24. May 2013
Organization not specified
URL http://qedeq.org
License The Apache Software License, Version 2.0
Dependencies amount 5
Dependencies commons-logging, commons-httpclient, commons-codec, commons-lang, commons-io,
There are maybe transitive dependencies!
sourcetohtml from group com.sourcetohtml (version 0.8.1)
This project aims to build a command line tool that can create
HTML view with syntax highlighted source code.
It uses Jedit syntax highlighting engine and support all languages that are supported in JEdit.
Which are currently: ActionScript, Ada 95, ANTLR, Apache HTTPD, APDL, AppleScript, ASP, Aspect-J, Assembly, AWK, B formal method, Batch, BBj, BCEL, BibTeX, C, C++, C#, CHILL, CIL, COBOL, ColdFusion, CSS, CVS Commit, D, DOxygen, DSSSL, Eiffel, EmbPerl, Erlang, Factor, Fortran, Foxpro, FreeMarker, Fortran, Gettext, Groovy, Haskell, HTML, Icon, IDL, Inform, INI, Inno Setup, Informix 4GL, Interlis, Io, Java, JavaScript, JCL, JHTML, JMK, JSP, Latex, Lilypond, Lisp, LOTOS, Lua, Makefile, Maple, ML, Modula-3, MoinMoin, MQSC, NetRexx, NQC, NSIS2, Objective C, ObjectRexx, Occam, Omnimark, Parrot, Pascal, Patch, Perl, PHP, Pike, PL-SQL, PL/I, Pop11, PostScript, Povray, PowerDynamo, Progress 4GL, Prolog, Properties, PSP, PV-WAVE, Pyrex, Python, REBOL, Redcode, Relax-NG, RelationalView, Rest, Rib, RPM spec, RTF, Ruby, Ruby-HTML, RView, S+, S#, SAS, Scheme, SDL/PL, SGML, Shell Script, SHTML, Smalltalk, SMI MIB, SQR, Squidconf, SVN Commit, Swig, TCL, TeX, Texinfo, TPL, Transact-SQL, UnrealScript, VBScript, Velocity, Verilog, VHDL, XML, XSL, ZPT
Artifact sourcetohtml
Group com.sourcetohtml
Version 0.8.1
Last update 31. March 2009
Organization not specified
URL http://www.sourcetohtml.com
License GNU GENERAL PUBLIC LICENSE, version 3
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group com.sourcetohtml
Version 0.8.1
Last update 31. March 2009
Organization not specified
URL http://www.sourcetohtml.com
License GNU GENERAL PUBLIC LICENSE, version 3
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Page 9 from 9 (items total 82)